CodeZine(コードジン)

特集ページ一覧

「形式手法」の“論理の力”による開発効率と品質の向上事例

トップエスイーからのアウトカム ~ ソフトウェア工学の現場から 第7回

  • LINEで送る
  • このエントリーをはてなブックマークに追加

目次

※この続きは、会員の方のみお読みいただけます(登録無料)。



  • LINEで送る
  • このエントリーをはてなブックマークに追加

バックナンバー

連載:トップエスイーからのアウトカム ~ ソフトウェア工学の現場から

もっと読む

著者プロフィール

  • 石川 冬樹(国立情報学研究所)(イシカワ フユキ)

     国立情報学研究所 コンテンツ科学研究系 准教授。電気通信大学 情報理工学研究科 客員准教授。博士(東京大学・情報理工学・2007年)。形式手法や最適化技術を中心として、ソフトウェア工学および、自律・スマートシステムのディペンダビリティに関する研究に従事。

あなたにオススメ

All contents copyright © 2005-2022 Shoeisha Co., Ltd. All rights reserved. ver.1.5