会員登録無料すると、続きをお読みいただけます
「形式手法」の“論理の力”による開発効率と品質の向上事例
トップエスイーからのアウトカム ～ ソフトウェア工学の現場から 第7回
この記事は参考になりましたか？
- トップエスイーからのアウトカム ～ ソフトウェア工学の現場から連載記事一覧
- この記事の著者
-
石川 冬樹（国立情報学研究所）（イシカワ フユキ）
国立情報学研究所 コンテンツ科学研究系 准教授。電気通信大学 情報理工学研究科 客員准教授。博士（東京大学・情報理工学・2007年）。形式手法や最適化技術を中心として、ソフトウェア工学および、自律・スマートシステムのディペンダビリティに関する研究に従事。
※プロフィールは、執筆時点、または直近の記事の寄稿時点での内容です
