VDM＋＋による形式仕様記述

作家/出演者

シリーズ

VDM＋＋による形式仕様記述

平均評価: レビューを書く

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

明確な仕様の記述と検証を行わずして、抵当な開発を行うことは出来ない！ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。本書は、この手法の一つであるVDMとオブジェクト指向記述言語VDM＋＋について実践的に解説する。

価格
4,180円

[参考価格] 紙書籍4,180円

読める期間: 無期限

購入手続きへ

バスケットを見る

クレジットカード決済なら: 41pt獲得

Windows
Mac
スマートフォンタブレット
ブラウザで読める

動作環境、ビューアのインストールはこちらから

お気に入りに追加

配信開始日: 2018/04/21 00:00

紙書籍販売日: 2011/07/26

ページ数: 251ページ

掲載誌・レーベル

----

出版社

近代科学社

ジャンル

ファイル容量: 49.60MB

ファイル形式: EPUB形式

新着通知設定

新着通知管理

この作品の続刊、作家の新刊が配信された際に、メールでお知らせいたします。

作品: ON OFF

作家: ON OFF

ソースコードにアフィリエイトIDを追加する（任意）

アフィリエイトIDをお持ちの方は、ソースコードにIDを追加することができます。
アフィリエイトについて
サイズを選択する

サイズを選択し、表示されたソースコードをコピーして貼り付けてください。
ソースコードの変更はできません。

120×240

VDM＋＋による形式仕様記述無料サンプル

150×250

VDM＋＋による形式仕様記述無料サンプル

<iframe width="120" height="240" src="http://book.vntkg.com/book/blog-parts/?product_id=k386akind00013&size=120_240" scrolling="no" frameborder="0" allowfullscreen></iframe>

<iframe width="150" height="250" src="http://book.vntkg.com/book/blog-parts/?product_id=k386akind00013&size=150_250" scrolling="no" frameborder="0" allowfullscreen></iframe>

SPINによる設計モデル検証

プロジェクトの概念:プロジェクトマネジメ...