用語

J-GLOBAL ID：201106054434644841

詳細化手法

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

精密化 (refinement)
精密化について
- 「精密化」ですべてを検索
- この用語の用語情報を見る
ソフトウェア開発 (software development)
ソフトウェア開発について
- 「ソフトウェア開発」ですべてを検索
- この用語の用語情報を見る
高階論理 (higher order logic)
高階論理について
- 「高階論理」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

形式的手法【計算機】 (formal method)
形式的手法【計算機】について
- 「形式的手法【計算機】」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

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

前のページに戻る

TOP

BOTTOM