ENG第3回 ISIT 定期交流会
■日時
平成８年６月２１日（金）１６：００～１８：３０
■会場
福岡 SRP センタービル ２階視聴覚研修室
■講師
九州大学大学院 システム情報科学研究科
情報工学専攻 荒木 啓二郎 教授
(財団法人九州システム情報技術研究所 第二研究室 研究室長)
■テーマ
「ソフトウェア形式的開発法の紹介」
厳密に記述された仕様にもとづいて高品質のソフトウェアを効率良く開発するための形式的手法について、その目的、方法、意義を概観し、欧米における最近の動向を紹介しました。
■主催
(財)九州システム情報技術研究所(ISIT)
■参加者
３１名