VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩

• 資料種別: 図書
• ISBN: 978-4-7649-0409-5
• タイトル: VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩
• タイトルよみ: VDM ++ ニ ヨル ケイシキ シヨウ キジュツ : ケイシキ シヨウ ニュウモン カツヨウ ノ ダイイッポ
• 著者・編者: 石川冬樹 著; 荒木啓二郎 監修
• シリーズタイトル: トップエスイー実践講座 ; 4
• 著者標目: 石川, 冬樹 イシカワ, フユキ ( 01235605 )典拠; 荒木, 啓二郎, 1954- アラキ, ケイジロウ, 1954- ( 00166447 )典拠; 本位田, 真一, 1953- ホンイデン, シンイチ, 1953- ( 00192997 )典拠
• 出版事項: 東京 : 近代科学社
• 出版年月日等: 2011.7
• 出版年（W3CDTF）: 2011
• 数量: 224p
• 大きさ: 24cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: システム開発 システムカイハツ ( 00679589 )典拠
• NDC9版: 007.61 : 情報科学
• NDLC: M159
• 対象利用者: 一般
• 一般注記: シリーズの監修者: 本位田真一
• 書誌注記: 索引あり
• 入手条件・定価: 3800円
• 所蔵機関: 国立国会図書館
• 請求記号: M159-J1362
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000011238618; http://id.ndl.go.jp/bib/000011238618
• 全国書誌番号: 21964103
• NS-MARC番号: 123618000
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 112

• 要約等: 形式手法のVDMとオブジェクト指向記述言語VDM++について実践的に解説。ソフトウェア開発者、研究者、院生必読の書（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 石川 冬樹 国立情報学研究所 所属荒木 啓二郎 九州大学 教授（提供元: 出版情報登録センター（JPRO））

目次

第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章　関連情報
付録A　VDM++簡易リファレンス
付録B　練習問題解答