<図書>
VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩
VDM++ ニヨル ケイシキ シヨウ キジュツ : ケイシキ シヨウ ニュウモン・カツヨウ ノ ダイイッポ
責任表示 | 石川冬樹著 |
---|---|
シリーズ | トップエスイー実践講座 ; 4 |
データ種別 | 図書 |
出版者 | 東京 : 近代科学社 |
出版年 | 2011.7 |
本文言語 | 日本語 |
大きさ | xx, 224p ; 24cm |
概要 | 実用システム開発ではまず仕様を書こう!明確な仕様の記述と検証を行わずして正統な開発を行うことはできない—何を開発するのかを表す仕様の実践的なモデリングと、仕様書を基盤とする開発者間の建設的な対話に向けて。 |
目次 | 形式手法とVDM VDM概要 VDM++記述の構成要素 VDM++によるクラス記述 VDM++によるモデル化と例題(1):集合 VDM++によるモデル化と例題(2):列 VDM++によるモデル化と例題(3):写像 VDM++ Toolboxの活用 VDM++ Toolboxにおける実装へのの展開 VDM++・VDM++ Toolboxを用いた開発 関連情報続きを見る |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
|
理系図1F 開架 | 007.63/I 76 | 2011 |
|
031112012006547 |
|
書誌詳細
別書名 | 標題紙タイトル:Formal specification with VDM++ 異なりアクセスタイトル:VDM++による形式仕様記述 : 形式仕様入門活用の第一歩 |
---|---|
一般注記 | 監修: 荒木啓二郎 参考文献: p181-184 |
著者標目 | 石川, 冬樹 <イシカワ, フユキ> |
件 名 | BSH:ソフトウェア工学 |
分 類 | NDC8:007.63 NDC9:007.63 |
書誌ID | 1001490726 |
ISBN | 9784764904095 |
NCID | BB06653846 |
巻冊次 | ISBN:9784764904095 ; PRICE:3800円+税 |
登録日 | 2012.11.09 |
更新日 | 2012.11.09 |