ソフトウェア開発のモデル化技法
Ｊ．フィッツジェラルド／著 Ｐ．Ｇ．ラーセン／著 荒木啓二郎／〔ほか〕訳
発売日：2003年2月
- ISBN
- 978-4-00-005609-0
- 著者情報
- フィッツジェラルド，ジョン（フィッツジェラルド，ジョン）（Ｆｉｔｚｇｅｒａｌｄ，Ｊｏｈｎ）
マンチェスター大学、ニューキャスル大学を経て、現在、（株）トランジティブ・テクノロジー社（イギリス）に勤務
ラーセン，ペーター・ゴルム（ラーセン，ペーターゴルム）（Ｌａｒｓｅｎ，Ｐｅｔｅｒ Ｇｏｒｍ）
１９８８年、デンマーク工科大学修士課程を修了後、ＩＦＡＤ社（デンマーク）に勤務。２００２年、同社を退職。現在、（株）システマティック社（デンマーク）に勤務
荒木 啓二郎（アラキ ケイジロウ）
１９７６年、九州大学工学部情報工学科を卒業。工学博士。現在、九州大学大学院システム情報科学研究院教授
張 漢明（チョウ カンメイ）
１９９９年、奈良先端科学技術大学院大学を修了。工学博士。現在、南山大学数理情報学部情報通信学科助教授
荻野 隆彦（オギノ タカヒコ）
１９７２年、京都大学大学院電気工学第２学科修了（イリノイ大学コンピュータ科学科修士）。現在、（財）ＪＲ総研に勤務。情報・国際部長
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
革命的な仕様記述言語ＶＤＭ‐ＳＬ。現場の実践例をもとに、その記述を明快に解説。
目次
第１章 序章
第２章 モデルの構成
第３章 Ｔｏｏｌｂｏｘ Ｌｉｔｅ
第４章 システムの性質の論理式による記述
第５章 形式モデルの要素
第６章 集合
第７章 系列
第８章 写像
第９章 モデルの妥当性確認
第１０章 状態ベース・モデリング
第１１章 大規模モデルの構築
第１２章 ＶＤＭ活用の実際
商品詳細
- 出版社名
- 岩波書店
- フォーマット
- 単行本
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
