::日本ソフトウェア科学会第6回解説論文賞::
受賞論文：モデル検査による設計検証
受賞者：吉岡 信和、田辺 良則、田原 康之、長谷川 哲夫、磯部 祥尚
学内サイト記事