ＶＤＭ＋＋による形式仕様記述

形式仕様入門・活用の第一歩
トップエスイー実践講座　４

近代科学社
石川冬樹　荒木啓二郎　

• 価格: 4,180円（本体3,800円＋税）
• 発行年月: 2011年07月
• 判型: Ｂ５
• ISBN: 9784764904095

内容情報

[BOOKデータベースより]

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

形式手法とＶＤＭ
ＶＤＭ概要
ＶＤＭ＋＋記述の構成要素
ＶＤＭ＋＋によるクラス記述
ＶＤＭ＋＋によるモデル化と例題（１）：集合
ＶＤＭ＋＋によるモデル化と例題（２）：列
ＶＤＭ＋＋によるモデル化と例題（３）：写像
ＶＤＭ＋＋　Ｔｏｏｌｂｏｘの活用
ＶＤＭ＋＋　Ｔｏｏｌｂｏｘにおける実装へのの展開
ＶＤＭ＋＋・ＶＤＭ＋＋　Ｔｏｏｌｂｏｘを用いた開発
関連情報