用語

J-GLOBAL ID：200906061768812034

形式的仕様記述

電子計算機
同義語 (1件)：

形式仕様記述 (formal specification description)
形式仕様記述について
- 「形式仕様記述」ですべてを検索

関連語 (3件)：

ソフトウェア工学 (software engineering)
ソフトウェア工学について
- 「ソフトウェア工学」ですべてを検索
- この用語の用語情報を見る
形式的仕様記述言語 (formal specification language)
形式的仕様記述言語について
- 「形式的仕様記述言語」ですべてを検索
- この用語の用語情報を見る
形式的意味論 (formal semantics)
形式的意味論について
- 「形式的意味論」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

形式記述 (formal description)
形式記述について
- 「形式記述」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

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

前のページに戻る

TOP

BOTTOM