VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩
Author(s)
Bibliographic Information
VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩
(トップエスイー実践講座, 4)
近代科学社, 2011.7
- Other Title
-
Formal specification with VDM++
VDM++による形式仕様記述 : 形式仕様入門活用の第一歩
- Title Transcription
-
VDM++ ニヨル ケイシキ シヨウ キジュツ : ケイシキ シヨウ ニュウモン・カツヨウ ノ ダイイッポ
Access to Electronic Resource 1 items
Available at / 34 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
監修: 荒木啓二郎
参考文献: p181-184
Description and Table of Contents
Description
実用システム開発ではまず仕様を書こう!明確な仕様の記述と検証を行わずして正統な開発を行うことはできない—何を開発するのかを表す仕様の実践的なモデリングと、仕様書を基盤とする開発者間の建設的な対話に向けて。
Table of Contents
- 形式手法とVDM
- VDM概要
- VDM++記述の構成要素
- VDM++によるクラス記述
- VDM++によるモデル化と例題(1):集合
- VDM++によるモデル化と例題(2):列
- VDM++によるモデル化と例題(3):写像
- VDM++ Toolboxの活用
- VDM++ Toolboxにおける実装へのの展開
- VDM++・VDM++ Toolboxを用いた開発
- 関連情報
by "BOOK database"