「形式仕様記述」を解説文に含む見出し語の検索結果(1～10/61件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「検証」の解説形式仕様記述ができると、それを証明の根拠として使...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「水準0」の解説形式仕様記述を行い、プログラム自体を非形式主義...
Jump to navigationJump to searchプログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関す...
Jump to navigationJump to searchプログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関す...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/08 06:08 UTC 版)「仕様」の記事における「形式仕様」の解説詳細は「形式仕様記述」を参照 形式仕様は、ソフト...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/12/27 06:23 UTC 版)「ソフトウェアクリーンルーム」の記事における「統計的に正当な評価」の解説クリーンルームプ...
Jump to navigationJump to search形式仕様記述（けいしきしようきじゅつ、英: formal specification）とは形式手法のひとつで、何らのシステムなど...
Jump to navigationJump to search形式仕様記述（けいしきしようきじゅつ、英: formal specification）とは形式手法のひとつで、何らのシステムなど...
Jump to navigationJump to search形式仕様記述（けいしきしようきじゅつ、英: formal specification）とは形式手法のひとつで、何らのシステムなど...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「仕様記述」の解説形式手法は開発対象システムの任意のレベルの仕...
< 前の結果 | 次の結果 >