資料詳細

  • 1 件中、 1 件目

【図書】 ソフトウェア開発のモデル化技法

Ｊ．フィッツジェラルド ／著, Ｐ．Ｇ．ラーセン ／著, 荒木啓二郎 ／〔ほか〕訳   -- 岩波書店 -- ２００３．２ -- ２２ｃｍ -- ３０６ｐ

資料詳細

タイトル ソフトウェア開発のモデル化技法
著者名等 Ｊ．フィッツジェラルド ／著, Ｐ．Ｇ．ラーセン ／著, 荒木啓二郎 ／〔ほか〕訳  
出版 岩波書店 ２００３．２
大きさ等 ２２ｃｍ ３０６ｐ
分類 007.63
件名 電子計算機－ソフトウェア
注記 Ｍｏｄｅｌｌｉｎｇ　ｓｙｓｔｅｍｓ．／の翻訳
注記 付属資料（ＣＤ－ＲＯＭ１枚　１２ｃｍ）
注記 文献あり　索引あり
著者紹介 【フィッツジェラルド】マンチェスター大学、ニューキャッスル大学を経て、現在、（株）トランジティブ・テクノロジー社に勤務。
内容紹介 大規模システムのソフトウェアは、顧客の要求が多様で複雑なため、何度も大幅な手直しに迫られる。ＶＤＭ－ＳＬは、抽象性と厳密性を併せ持つ仕様記述言語で、モデル化に最適。実践例をもとにその記述を解説する。
要旨 革命的な仕様記述言語ＶＤＭ‐ＳＬ。現場の実践例をもとに、その記述を明快に解説。
目次 第１章　序章；第２章　モデルの構成；第３章　Ｔｏｏｌｂｏｘ　Ｌｉｔｅ；第４章　システムの性質の論理式による記述；第５章　形式モデルの要素；第６章　集合；第７章　系列；第８章　写像；第９章　モデルの妥当性確認；第１０章　状態ベース・モデリング；第１１章　大規模モデルの構築；第１２章　ＶＤＭ活用の実際
ISBN(13)、ISBN 　　 4-00-005609-3
書誌番号 1103015017
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1103015017

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/11896 一般書 利用可 - 2028888158 iLisvirtual

ページの先頭へ