ソフトウェア開発のモデル化技法
ジョン・フィッツジェラルド,
ピーター・ゴーム・ラーセン,
荒木 啓二郎
著
発行年月 |
2003年02月 |
---|
|
|
言語 |
日本語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
320p |
---|
大きさ |
22 |
---|
|
ジャンル |
和書 |
---|
|
|
ISBN |
9784000056090 |
---|
|
商品コード |
0103002311 |
---|
NDC分類 |
007.63 |
---|
|
|
|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0103002311 |
---|
著者紹介
ジョン・フィッツジェラルド(著者):〈フィッツジェラルド〉ニューキャスル大学等を経て、現在、(株)トランジティブ・テクノロジー社勤務。
ピーター・ゴーム・ラーセン(著者):〈ラーセン〉デンマーク工科大学修士課程を修了。現在、(株)システマティック社勤務。
内容
ISOで標準化された言語VDM−SLは、抽象性と厳密性を併せ持つ仕様記述言語で、モデル化に最適である。これを使えばシステムの全体構造を容易に把握できるようになり開発コストの削減にも役立つ。実践例とともに解説。