トップエスイー実践講座 ＶＤＭ＋＋による形式仕様記述―形式仕様入門・活用の第一歩

個数：

電子版価格
¥2,090

電子版あり

トップエスイー実践講座
ＶＤＭ＋＋による形式仕様記述―形式仕様入門・活用の第一歩

荒木啓二郎【監修】/石川冬樹【著】
価格 ¥4,180（本体¥3,800）
近代科学社（2011/07発売）
ポイント 38pt

提携先に在庫がございます【僅少】
通常、5～7日程度で出荷されます。
※納期遅延や、在庫切れで解約させていただく場合もございます。
（※複数冊ご注文はお取り寄せとなります）
出荷予定日とご注意事項
※上記を必ずご確認ください

【出荷予定日】
通常、5～7日程度で出荷されます。

【ご注意事項】 ※必ずお読みください
◆在庫状況は刻々と変化しており、ご注文手続き中やご注文後に在庫切れとなることがございます。
◆出荷予定日は確定ではなく、表示よりも出荷が遅れる場合が一部にございます。
◆複数冊をご注文の場合には全冊がお取り寄せとなります。お取り寄せの場合の納期や入手可否についてはこちらをご参照ください。
◆お届け日のご指定は承っておりません。
◆「帯」はお付けできない場合がございます。
◆画像の表紙や帯等は実物とは異なる場合があります。
◆特に表記のない限り特典はありません。
◆別冊解答などの付属品はお付けできない場合がございます。
●3Dセキュア導入とクレジットカードによるお支払いについて
●店舗受取サービス（送料無料）もご利用いただけます。
ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら

サイズ B5判／ページ数 224p／高さ 24cm
商品コード 9784764904095
NDC分類 007.63
Cコード C3350

内容説明

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

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

著者等紹介

荒木啓二郎［アラキケイジロウ］
１９７８年九州大学大学院工学研究科修士課程修了。九州大学工学部助手。１９８２年工学博士。１９８４年九州大学助教授。１９８８年～１９８９年文部省在外研究員（ドイツ連邦共和国パッサウ大学）。１９９３年奈良先端科学技術大学院大学教授。１９９６年九州大学教授

石川冬樹［イシカワフユキ］
２００７年東京大学大学院情報理工学系研究科博士課程修了、博士（情報理工学）。現在、国立情報学研究所助教・総合研究大学院大学複合科学研究科助教（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。