試験公開中

このエントリーをはてなブックマークに追加

VDM++による形式仕様記述:形式仕様入門・活用の第一歩(トップエスイー実践講座4)

近代科学社

4,180円 (3,800円+税)

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

【注意】本書のEPUB版は固定レイアウト型になっております。文字の大きさの変更や検索、引用などはお使いいただけません。画面の大きい端末でご利用ください。

リンク用タグ生成

ブログ等に掲載するためのリンク用タグです。それぞれの使い方に応じて貼り付けてください。

※出力するタグは変更することがあります。
※書籍詳細用のタグはamazletに準拠しています。
※アフィリエイト等は今のところついておりません。ご了承ください。

書籍詳細用

本位田 真一, 荒木 啓二郎(監修), 石川 冬樹(著)
近代科学社
発行日: 2018-03-23
対応フォーマット: PDF, EPUB

テキストリンク用

VDM++による形式仕様記述:形式仕様入門・活用の第一歩(トップエスイー実践講座4)

画像リンク用

VDM++による形式仕様記述:形式仕様入門・活用の第一歩(トップエスイー実践講座4)

Home 書籍一覧 VDM++による形式仕様記述:形式仕様入門・活用の第一歩(トップエスイー実践講座4) ▲ ページトップへ戻る