- ソフトウェア開発のモデル化技法
-
Modelling systems.
岩波書店
ジョン・フィッツジェラルド ペーター・ゴルム・ラーセン 荒木啓二郎- 価格
- 5,280円(本体4,800円+税)
- 発行年月
- 2003年02月
- 判型
- A5
- ISBN
- 9784000056090
この商品をご覧のお客様は、こんな商品もチェックしています。
- 教えて!マメ先生0・1・2歳児保育をアップデートする11のアプローチ
-
価格:2,200円(本体2,000円+税)
【2026年04月発売】
- 現代ファシズム論
-
価格:990円(本体900円+税)
【2026年01月発売】
- 13歳からの哲学的思考 予測不能な未来を生き抜くための最強スキル
-
価格:1,760円(本体1,600円+税)
【2025年09月発売】
- 板書&イラストでよくわかる365日の全授業 小学校国語4年 上 改訂
-
価格:3,080円(本体2,800円+税)
【2024年03月発売】
- Unityによる3DCGプログラミング
-
価格:3,960円(本体3,600円+税)
【2026年03月発売】
























[BOOKデータベースより]
革命的な仕様記述言語VDM‐SL。現場の実践例をもとに、その記述を明快に解説。
第1章 序章
[日販商品データベースより]第2章 モデルの構成
第3章 Toolbox Lite
第4章 システムの性質の論理式による記述
第5章 形式モデルの要素
第6章 集合
第7章 系列
第8章 写像
第9章 モデルの妥当性確認
第10章 状態ベース・モデリング
第11章 大規模モデルの構築
第12章 VDM活用の実際
大規模システムのソフトウェアは、顧客の要求が多様で複雑なため、何度も大幅な手直しに迫られる。VDM−SLは、抽象性と厳密性を併せ持つ仕様記述言語で、モデル化に最適。実践例をもとにその記述を解説する。