田原康之准教授（情報学専攻）が日本ソフトウェア科学会第6回解説論文賞を受賞
2017年09月22日
田原康之准教授（情報学専攻）が、9月19日（火）に開催された日本ソフトウェア科学会大会において日本ソフトウェア科学会第6回解説論文賞を受賞しました。
本賞は、2014年2月から2015年11月までに、日本ソフトウェア科学会の学会誌であるコンピュータソフトウェア誌に掲載された記事のうち、特にソフトウェア科学・技術のすぐれた解説をつうじて、知識の普及および学術の発展に貢献したものが選ばれ、その著者に贈呈されるものです。表彰は2年毎に行われ、今回は2編が受賞しました。
【受賞論文】
モデル検査による設計検証
【著者】
吉岡 信和、田辺 良則、田原 康之、長谷川 哲夫、磯部 祥尚
【掲載誌】
コンピュータソフトウェア Vol.31、No.4、pp.4_40-4_65、2014
- （新しいウィンドウが開きます）日本ソフトウェア科学会
- 表彰状