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

Author(s)

Bibliographic Information

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

J. フィッツジェラルド, P. G. ラーセン著 ; 荒木啓二郎 [ほか] 訳

岩波書店, 2003.2

Other Title

Modelling systems

Title Transcription

ソフトウェア カイハツ ノ モデルカ ギホウ

Available at  / 81 libraries

Note

付属資料: CD-ROM (1枚 ; 12cm)

その他の訳者: 張漢明, 荻野隆彦, 佐原伸, 染谷誠

参考文献: p299-300

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

  • NCID
    BA61412402
  • ISBN
    • 4000056093
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Original Language Code
    eng
  • Place of Publication
    東京
  • Pages/Volumes
    xxi, 306p
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top