本/雑誌
VDM++による形式仕様記述 形式仕様入門・活用の第一歩 (トップエスイー実践講座)
荒木啓二郎/監修 石川冬樹/著
4180円
| ポイント | 1% (41p) |
|---|---|
| 発売日 | 2011/07/25 発売 |
| 出荷目安 | メーカー在庫あり:1-3日
※出荷目安について |
追跡可能メール便利用不可商品です
商品説明
実用システム開発ではまず仕様を書こう!明確な仕様の記述と検証を行わずして正統な開発を行うことはできない-何を開発するのかを表す仕様の実践的なモデリングと、仕様書を基盤とする開発者間の建設的な対話に向けて。
関連記事
収録内容
| 1 | 形式手法とVDM |
| 2 | VDM概要 |
| 3 | VDM++記述の構成要素 |
| 4 | VDM++によるクラス記述 |
| 5 | VDM++によるモデル化と例題(1):集合 |
| 6 | VDM++によるモデル化と例題(2):列 |
| 7 | VDM++によるモデル化と例題(3):写像 |
| 8 | VDM++ Toolboxの活用 |
| 9 | VDM++ Toolboxにおける実装へのの展開 |
| 10 | VDM++・VDM++ Toolboxを用いた開発 |
| 11 | 関連情報 |
