VDM++による形式仕様記述

著者 : 石川冬樹

• 近代科学社 (2011年7月31日発売)

作品紹介・あらすじ

実用システム開発ではまず仕様を書こう!明確な仕様の記述と検証を行わずして正統な開発を行うことはできない-何を開発するのかを表す仕様の実践的なモデリングと、仕様書を基盤とする開発者間の建設的な対話に向けて。

感想・レビュー・書評

[北海道大学工学研究院中央図書室さんの感想 · 2020年3月16日]

【電子ブックへのリンク先】
https://kinoden.kinokuniya.co.jp/hokudai/bookdetail/p/KP00012241
※学外から利用する場合は、以下のアドレスからご覧ください。（要ログイン）
https://www.lib.hokudai.ac.jp/remote-access/?url=https://kinoden.kinokuniya.co.jp/hokudai/bookdetail/p/KP00012241

著者プロフィール

国立情報学研究所アーキテクチャ科学研究系 准教授

「2022年 『機械学習工学』 で使われていた紹介文から引用しています。」