ソフトウェア開発のモデル化技法

Ｍｏｄｅｌｌｉｎｇ　ｓｙｓｔｅｍｓ．

岩波書店
ジョン・フィッツジェラルド　ペーター・ゴルム・ラーセン　荒木啓二郎　

• 価格: 5,280円（本体4,800円＋税）
• 発行年月: 2003年02月
• 判型: Ａ５
• ISBN: 9784000056090

内容情報

[BOOKデータベースより]

革命的な仕様記述言語ＶＤＭ‐ＳＬ。現場の実践例をもとに、その記述を明快に解説。

第１章　序章
第２章　モデルの構成
第３章　Ｔｏｏｌｂｏｘ　Ｌｉｔｅ
第４章　システムの性質の論理式による記述
第５章　形式モデルの要素
第６章　集合
第７章　系列
第８章　写像
第９章　モデルの妥当性確認
第１０章　状態ベース・モデリング
第１１章　大規模モデルの構築
第１２章　ＶＤＭ活用の実際

[日販商品データベースより]

大規模システムのソフトウェアは、顧客の要求が多様で複雑なため、何度も大幅な手直しに迫られる。ＶＤＭ−ＳＬは、抽象性と厳密性を併せ持つ仕様記述言語で、モデル化に最適。実践例をもとにその記述を解説する。