用語

J-GLOBAL ID：201306023990059550

Event-B

電子計算機
関連語 (3件)：

モデリング (modeling)
モデリングについて
- 「モデリング」ですべてを検索
- この用語の用語情報を見る
ソフトウェア開発 (software development)
ソフトウェア開発について
- 「ソフトウェア開発」ですべてを検索
- この用語の用語情報を見る
形式的仕様記述言語 (formal specification language)
形式的仕様記述言語について
- 「形式的仕様記述言語」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

B手法 (B method)
B手法について
- 「B手法」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

シソーラスmap ※学術用語集由来のみの同義語は表示されません

前のページに戻る

TOP

BOTTOM