用語

J-GLOBAL ID：200906068714709577

形式的手法【計算機】

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

形式手法 (formal method)
形式手法について
- 「形式手法」ですべてを検索
フォーマリズム (formalism)
フォーマリズムについて
- 「フォーマリズム」ですべてを検索

関連語 (1件)：

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

上位語 (1件)：

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

下位語 (2件)：

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

シソーラスmap：

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

前のページに戻る

TOP

BOTTOM