VDM++による形式仕様記述
購入済み
シリーズ
全1冊
作品情報
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。明確な仕様の記述と検証を行わずして、抵当な開発を行うことは出来ない！ ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。本書は、この手法の一つであるVDMとオブジェクト指向記述言語VDM++について実践的に解説する。
- 著者
- 出版社 近代科学社
- ジャンル
- シリーズ VDM++による形式仕様記述
- 電子版配信開始日 2022/01/14
- ファイルサイズ 39.88 MB
作品をシェアする
同じ作者の本
-
機械学習工学
￥3,300
購入済み
-
ソフトウェアパターン
￥3,960
購入済み
-
Bメソッドによる形式仕様記述
￥3,960
購入済み
-
並行システムの検証と実装
￥5,060
購入済み
-
SPINによる設計モデル検証
￥3,960
購入済み
-
実践的ソフトウェア工学
￥2,750
購入済み
-
UPPAALによる性能モデル検証
￥4,180
購入済み
-
VDM++による形式仕様記述
￥4,180
購入済み
-
ソフトウェア科学基礎
￥4,180
購入済み
-
実践的ソフトウェア工学 第2版 実践現場から学ぶソフトウェア開発の勘所
￥2,970
購入済み
近代科学社のおすすめ本
-
統計学再入門 科学哲学から探る統計思考の原点
￥3,300
購入済み
-
ファーストステップ AI・データサイエンスの基礎
￥2,750
購入済み
-
超楕円関数への招待 楕円関数の一般化とその応用
￥4,400
購入済み
-
改訂新版 ファーストステップ情報通信ネットワーク
￥2,750
購入済み
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第2巻 高度な設計と解析の手法・高度なデータ構造・グラフアルゴリズム
￥4,950
購入済み
-
図解 深層学習 数理で理解する基本原理
￥3,850
購入済み
-
独習 ガロア理論
￥4,290
購入済み
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第1巻 基礎・ソートと順序統計量・データ構造・数学的基礎
￥4,950
購入済み
-
増補新訂版 よくわかるC言語 イメージと例題で理解するStep ABC
￥2,475
購入済み
-
ベイズ最適化 適応的実験計画の基礎と実践
￥4,180
購入済み
スマホ・PC・ITのおすすめ本
-
Twinmotion デザインテクニック
￥3,300
購入済み
-
Macintosh思い出のソフトウェア図鑑
￥1,760
購入済み
-
はじめてのDEXCS for OpenFOAM
￥2,200
購入済み
-
はむこさんのイラレ教室 文字デコで学ぶ楽しいデザイン！
￥2,530
購入済み
-
After Effectsモーションデザイン すぐに使える実用アイデア見本帳
￥3,190
購入済み
-
Copilot Studioで作る業務効率化のAIチャットボット
￥2,970
購入済み
-
できるGoogle Workspace＋Geminiパーフェクトブック困った！＆便利ワザ大全
￥2,585
購入済み
-
キャライラストを上手く描くためのノウハウ図鑑 第2版
￥2,200
購入済み
-
仕事、生活をラクラク管理 超便利！ Notionテクニック
￥1,870
購入済み
-
背景の作画教室
￥2,420
購入済み