資料詳細

【図書】 ＶＤＭ＋＋による形式仕様記述

形式仕様入門・活用の第一歩 -- トップエスイー実践講座 --
石川冬樹／著, 荒木啓二郎／監修 -- 近代科学社 -- ２０１１．７ -- ２４ｃｍ -- ２２４ｐ

タイトル	ＶＤＭ＋＋による形式仕様記述
副書名	形式仕様入門・活用の第一歩
シリーズ名	トップエスイー実践講座
著者名等	石川冬樹／著, 荒木啓二郎／監修
出版	近代科学社２０１１．７
大きさ等	２４ｃｍ２２４ｐ
分類	007.63
件名	電子計算機－ソフトウェア
注記	索引あり
要旨	実用システム開発ではまず仕様を書こう！明確な仕様の記述と検証を行わずして正統な開発を行うことはできない―何を開発するのかを表す仕様の実践的なモデリングと、仕様書を基盤とする開発者間の建設的な対話に向けて。
目次	形式手法とＶＤＭ；ＶＤＭ概要；ＶＤＭ＋＋記述の構成要素；ＶＤＭ＋＋によるクラス記述；ＶＤＭ＋＋によるモデル化と例題（１）：集合；ＶＤＭ＋＋によるモデル化と例題（２）：列；ＶＤＭ＋＋によるモデル化と例題（３）：写像；ＶＤＭ＋＋　Ｔｏｏｌｂｏｘの活用；ＶＤＭ＋＋　Ｔｏｏｌｂｏｘにおける実装へのの展開；ＶＤＭ＋＋・ＶＤＭ＋＋　Ｔｏｏｌｂｏｘを用いた開発；関連情報
ISBN(13)、ISBN	978-4-7649-0409-5　　 4-7649-0409-8
書誌番号	1111051334

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		007.6/15009	一般書	利用可	-	2046851717