資料詳細

  • 1 件中、 1 件目

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

J.フィッツジェラルド／著 -- 岩波書店 -- 2003.2 -- 007.63

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 状態
９書庫 /007.6/フ/ 8132365330 一般 館内有

ページの先頭へ

資料詳細

書名 ソフトウェア開発のモデル化技法
著者名 J.フィッツジェラルド ／著, P.G.ラーセン ／著, 荒木 啓二郎 ／[ほか]訳  
出版者 岩波書店
出版年 2003.2
ページ数 306p
大きさ 22cm
翻訳原書名注記 原タイトル:Modelling systems
一般件名 ソフトウェア
NDC分類(9版) 007.63
著者紹介 ニューキャスル大学等を経て、現在、(株)トランジティブ・テクノロジー社勤務。
内容紹介 ISOで標準化された言語VDM-SLは、抽象性と厳密性を併せ持つ仕様記述言語で、モデル化に最適である。これを使えばシステムの全体構造を容易に把握できるようになり開発コストの削減にも役立つ。実践例とともに解説。
ISBN 4-00-005609-3

ページの先頭へ