ソフトウェア開発のモデル化技法
著者
書誌事項
ソフトウェア開発のモデル化技法
岩波書店, 2003.2
- タイトル別名
-
Modelling systems
- タイトル読み
-
ソフトウェア カイハツ ノ モデルカ ギホウ
大学図書館所蔵 件 / 全81件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
付属資料: CD-ROM (1枚 ; 12cm)
その他の訳者: 張漢明, 荻野隆彦, 佐原伸, 染谷誠
参考文献: p299-300
内容説明・目次
内容説明
革命的な仕様記述言語ＶＤＭ‐ＳＬ。現場の実践例をもとに、その記述を明快に解説。
目次
- 第１章 序章
- 第２章 モデルの構成
- 第３章 Ｔｏｏｌｂｏｘ Ｌｉｔｅ
- 第４章 システムの性質の論理式による記述
- 第５章 形式モデルの要素
- 第６章 集合
- 第７章 系列
- 第８章 写像
- 第９章 モデルの妥当性確認
- 第１０章 状態ベース・モデリング
- 第１１章 大規模モデルの構築
- 第１２章 ＶＤＭ活用の実際
「BOOKデータベース」 より