ISIT Index
ISIT定期交流会 Index
第3回 ISIT定期交流会
■日 時
平成8年6月21日(金)16:00〜18:30

■会 場
福岡 SRP センタービル 2階視聴覚研修室

■講 師
九州大学大学院 システム情報科学研究科
情報工学専攻 荒木 啓二郎 教授
(財団法人九州システム情報技術研究所 第二研究室 研究室長)

■テーマ
「ソフトウェア形式的開発法の紹介」

 厳密に記述された仕様にもとづいて高品質のソフトウェアを効率良く開発するための形式的手法について、その目的、方法、意義を概観し、欧米における最近の動向を紹介しました。

■参加者 31名

■主 催 (財)九州システム情報技術研究所(ISIT)