VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩
著者
書誌事項
VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩
(トップエスイー実践講座, 4)
近代科学社, 2011.7
- タイトル別名
-
Formal specification with VDM++
VDM++による形式仕様記述 : 形式仕様入門活用の第一歩
- タイトル読み
-
VDM++ ニヨル ケイシキ シヨウ キジュツ : ケイシキ シヨウ ニュウモン・カツヨウ ノ ダイイッポ
電子リソースにアクセスする 全1件
大学図書館所蔵 全34件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
監修: 荒木啓二郎
参考文献: p181-184
内容説明・目次
内容説明
実用システム開発ではまず仕様を書こう!明確な仕様の記述と検証を行わずして正統な開発を行うことはできない—何を開発するのかを表す仕様の実践的なモデリングと、仕様書を基盤とする開発者間の建設的な対話に向けて。
目次
- 形式手法とVDM
- VDM概要
- VDM++記述の構成要素
- VDM++によるクラス記述
- VDM++によるモデル化と例題(1):集合
- VDM++によるモデル化と例題(2):列
- VDM++によるモデル化と例題(3):写像
- VDM++ Toolboxの活用
- VDM++ Toolboxにおける実装へのの展開
- VDM++・VDM++ Toolboxを用いた開発
- 関連情報
「BOOKデータベース」 より