VDM++による形式仕様記述―形式仕様入門・活用の第一歩(トップエスイー実践講座〈4〉) [全集叢書]

VDM++による形式仕様記述―形式仕様入門・活用の第一歩(トップエスイー実践講座〈4〉) の 商品概要

• 要旨（「BOOK」データベースより）

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

• 目次（「BOOK」データベースより）

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  荒木 啓二郎(アラキ ケイジロウ)
  １９７８年九州大学大学院工学研究科修士課程修了。九州大学工学部助手。１９８２年工学博士。１９８４年九州大学助教授。１９８８年～１９８９年文部省在外研究員（ドイツ連邦共和国パッサウ大学）。１９９３年奈良先端科学技術大学院大学教授。１９９６年九州大学教授
  
  石川 冬樹(イシカワ フユキ)
  ２００７年東京大学大学院情報理工学系研究科博士課程修了、博士（情報理工学）。現在、国立情報学研究所助教・総合研究大学院大学複合科学研究科助教

VDM++による形式仕様記述―形式仕様入門・活用の第一歩(トップエスイー実践講座〈4〉) の商品スペック