二木, 厚吉, 北陸先端科学技術大学院大学1999-2002<Y151-H11480067>
国立国会図書館
- 件名コンポ-ネント 高信頼 支援ツ-ル CafeOBJ モジユ-ルシステム 仕様 分散システム 検証
一岡, 芳樹, 大阪大学1992-1993<Y151-H04452104>
国立国会図書館
- 件名光コンピユーテイング 光コンピユータ デイジタル光学 モジユールシステム 相関演算 実装技術 反射 微小光学
中村, 正樹, Nakamura, Masaki2009-04-23平成20(2008)年度 科学研究費補助金 若手研究(B) 研究成果報告書 = 2008 Fiscal Year Final Research Report2006 – 2008p.5p.-
全国の図書館
- 件名形式手法 検証システム 項書換えシステム 代数仕様 モジュールシステム 仕様変換 ソフトウェアテスト