二木 厚吉

(ふたつぎ こうきち)


1975年 東北大学大学院工学研究科博士課程修了.
工学博士.
通商産業省工業技術院電子技術総合研究員,室長,首席研究官を経て,
1993年 北陸先端科学技術大学院大学教授.
1983年から1984年にかけてスタンフォード研究所(SRI International)客員研究員.
形式仕様言語に基づくフォーマルメソッド(Formal Methods)の研究を進め,HISP,OBJ,CafeOBJといった先進的な実行可能形式仕様言語を開発してきた.
最近は,ドメイン仕様,要求仕様,設計仕様などのCafeOBJ言語システムを用いた検証法の研究を進めている.

執筆箇所:

  ・7群1編 ソフトウェア基礎