「仕様記述」を解説文に含む見出し語の検索結果(1～10/198件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/03 08:18 UTC 版)「仕様記述言語」の記事における「仕様記述言語一覧」の解説Z言語 VDM LOTOS SD...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/16 06:41 UTC 版)「ソフトウェア開発工程」の記事における「仕様記述」の解説仕様記述は可能な限り厳密な方法で...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/09 14:25 UTC 版)「抽象化 (計算機科学)」の記事における「仕様記述言語」の解説詳細は「仕様記述言語」を参...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/03 08:18 UTC 版)「仕様記述言語」の記事における「形式的でない仕様記述(言語)」の解説もう1つは、あくまで...
Jump to navigationJump to search形式仕様記述（けいしきしようきじゅつ、英: formal specification）とは形式手法のひとつで、何らのシステムなど...
Jump to navigationJump to search形式仕様記述（けいしきしようきじゅつ、英: formal specification）とは形式手法のひとつで、何らのシステムなど...
Jump to navigationJump to search形式仕様記述（けいしきしようきじゅつ、英: formal specification）とは形式手法のひとつで、何らのシステムなど...
Jump to navigationJump to search形式仕様記述（けいしきしようきじゅつ、英: formal specification）とは形式手法のひとつで、何らのシステムなど...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/13 06:25 UTC 版)「自動推論」の記事における「Coq」の解説フランスで開発された証明支援システムで、仕様記...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「検証」の解説形式仕様記述ができると、それを証明の根拠として使...
< 前の結果 | 次の結果 >
>>
「仕様記述」の辞書の解説