資料詳細

  • 1 件中、 1 件目

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

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

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 集密３(X01) 主配架/007.63/ﾌｲﾂﾂｼﾞｴ*ｼﾞ/ 10212860077 一般図書 書架 iLisvirtual

ページの先頭へ

資料詳細

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

ページの先頭へ