VDM++による形式仕様記述
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。
明確な仕様の記述と検証を行わずして、抵当な開発を行うことは出来ない！ ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。本書は、この手法の一つであるVDMとオブジェクト指向記述言語VDM++について実践的に解説する。
VDM++による形式仕様記述 のユーザーレビュー
VDM++による形式仕様記述 の詳細情報
閲覧環境
- 【閲覧できる環境】
- ・ブックライブ for Windows PC（アプリ）
- ・ブックライブ for iOS（アプリ）
- ・ブックライブ for Android（アプリ）
- ・ブックライブ PLUS for Android（アプリ）
- ・ブラウザビューア
※アプリの閲覧環境は最新バージョンのものです。
この本をチェックした人は、こんな本もチェックしています
無料で読める IT・コンピュータ
IT・コンピュータ ランキング
作者のこれもおすすめ
