VDM++による形式仕様記述 形式仕様入門・活用の第一歩／荒木啓二郎／石川冬樹【3000円以上送料無料】
商品ID:booxstore:10710780
￥4180 JPY 約 $866 TWD
（尺寸）
（顏色）
（个）
著者荒木啓二郎(監修) 石川冬樹(著)出版社近代科学社発売日2011年07月ISBN9784764904095ページ数224Pキーワードヴいでいーえむぷらすぷらすによるけいしきしようきじ ヴイデイーエムプラスプラスニヨルケイシキシヨウキジ あらき けいじろう いしかわ アラキ ケイジロウ イシカワ9784764904095内容紹介実用システム開発ではまず仕様を書こう！明確な仕様の記述と検証を行わずして正統な開発を行うことはできない—何を開発するのかを表す仕様の実践的なモデリングと、仕様書を基盤とする開発者間の建設的な対話に向けて。※本データはこの商品が発売された時点の情報です。目次形式手法とVDM/VDM概要/VDM＋＋記述の構成要素/VDM＋＋によるクラス記述/VDM＋＋によるモデル化と例題（1）：集合/VDM＋＋によるモデル化と例題（2）：列/VDM＋＋によるモデル化と例題（3）：写像/VDM＋＋ Toolboxの活用/VDM＋＋ Toolboxにおける実装へのの展開/VDM＋＋・VDM＋＋ Toolboxを用いた開発/関連情報