ソフトウェア開発のモデル化技法 を通販で購入する(通信販売で予約する)

革命的な仕様記述言語ＶＤＭ‐ＳＬ。現場の実践例をもとに、その記述を明快に解説。

【目次】
第１章　序章／第２章　モデルの構成／第３章　Ｔｏｏｌｂｏｘ　Ｌｉｔｅ／第４章　システムの性質の論理式による記述／第５章　形式モデルの要素／第６章　集合／第７章　系列／第８章　写像／第９章　モデルの妥当性確認／第１０章　状態ベース・モデリング／第１１章　大規模モデルの構築／第１２章　ＶＤＭ活用の実際 		[トップページへ戻る]
[2005-09-03の販売ランキングへ飛ぶ]
[2005-09-03の人気足跡へ飛ぶ]

amazon.co.jpを利用して通信販売

↓↓↓↓ソフトウェア開発のモデル化技法↓↓↓↓をamazon.co.jpで購入する
ソフトウェア開発のモデル化技法
↑↑↑↑をamazon.co.jpで内容をチェック／購入する↑↑↑↑

目次


第1章 序章
第2章 モデルの構成
第3章 Toolbox Lite
第4章 システムの性質の論理式による記述
第5章 形式モデルの要素
第6章 集合
第7章 系列
第8章 写像
第9章 モデルの妥当性確認
第10章 状態ベース・モデリング
第11章 大規模モデルの構築
第12章 VDM活用の実際

レビュー

出版社/著者からの内容紹介


大規模システムのソフトウェアは，顧客の要求が多様で複雑，かつ不完全なため，大幅な手直しに何度も迫られる．VDM−SLは，抽象性と厳密性を併せ持った仕様記述言語で，システムモデル化に最適である．とくに全体構造の把握や開発コストの削減に役立つ．実践例をもとにその記述を解説する．ツールをCD−ROMに添付．

内容（「MARC」データベースより）


ISOで標準化された言語VDM-SLは、抽象性と厳密性を併せ持つ仕様記述言語で、モデル化に最適である。これを使えばシステムの全体構造を容易に把握できるようになり開発コストの削減にも役立つ。実践例とともに解説。


Book Description


There is increasing use of formal methods in the development of a wide range of systems. These methods not only enable safety-critical applications but can save time and money before an expensive commitment to detailed design and coding is made. This volume provides a remarkable introduction to formal modeling using VDM, one of the leading methods, though the principles taught apply equally well to many others, for example, Z and RAISE. Based on the new ISO Standard version of the VDM Specification Language, the book breaks new ground by combining training with tool support suitable for a PC Windows platform. Teaching by example, the authors introduce formal modeling techniques through a series of studies derived from real applications such as medical systems, transport, communications and the nuclear industry, the main components introduced as and when needed. The Windows tool allows the reader to develop formal models, check their syntax- and type-correctness and to execute and test them. The book employs a practice-oriented validation based approach for system analysis. Already tested in university and industrial courses, it offers a modern standard for the teaching of formal methods to undergraduates. A CD-ROM containing a single screen license accompanies the text.
このレビューは、同タイトルの ハードカバーのレビューから転載さ
↓↓↓↓ソフトウェア開発のモデル化技法↓↓↓↓をamazon.co.jpで購入する
ソフトウェア開発のモデル化技法
↑↑↑↑ソフトウェア開発のモデル化技法↑↑↑↑をamazon.co.jpで購入する


楽天ブックスで購入・内容を確認

ソフトウェア開発のモデル化技法を楽天ブックスで購入する
ソフトウェア開発のモデル化技法
ソフトウェア開発のモデル化技法
著者：ジョン・フィッツジェラルド / ペーター・ゴルム・ラーセン
出版社：岩波書店
本体価格：4,800円
 楽天ブックスで購入する

出版社:岩波書店 関係をチェックする

[岩波書店 を KeyWordにして 価格や在庫 を 検索する]←検索結果を全て表示する

↓↓関連書籍のリンク↓↓
4007000573:[野口体操入門の内容をチェックする]
4000237136:[孫子兵法発掘物語の内容をチェックする]
4000093835:[「ゲド戦記」の世界の内容をチェックする]
400500542X:[政治参加で未来をまもろうの内容をチェックする]
4001155788:[クマのプーさん Anniversary Editionの内容をチェックする]
4000801112:[広辞苑第5版普通版の内容をチェックする]
4000234064:[新約聖書ギリシア語入門の内容をチェックする]
4006031270:[ノモンハンの戦いの内容をチェックする]
400000977X:[思考と行動における言語の内容をチェックする]
4001141388:[ふたりのロッテの内容をチェックする]

その他 書籍やCD,DVDを紹介します

おっ・・と、惹かれるタイトルがあったらチェックしてみてください

人気の予約商品を紹介する

4862630871:[花のかんばせ の 予約購入を検討する]
4087804569:[カナヘイの本2 の 予約購入を検討する]
4093665346:[国井律子のハーレー日本一周 20代最後のひとり旅 の 予約購入を検討する]

ランダムにリンクを作成

4061597647:[江戸の博物学者たちを見る]
4260330950:[目でみるからだのメカニズム新訂を見る]
4883350770:[広告制作料金基準表(アド・メニュー)〈’03~’04〉を見る]
4091590330:[僕は妹に恋をする 5 特別版 (5)を見る]
4777802221:[チワワスタイル Vol.4]をチェックする
4022500557:[柳生薔薇剣]をチェックする
4095011017:[ことわざ大辞典]をチェックする
4502254703:[退職給付制度見直しの会計実務-将来の損益、キャッシュフロー、税金計算等への影響]をチェックする

CD,DVD,GAMEの人気商品

時計:[ORIS オリス 腕時計 アートリエ スモールセコンド デイト 623 7582 40 51を通販で買う]
おもちゃ＆ホビー:[銀魂 万事屋Tシャツ デニム サイズ:Mを通販で買う]
エレクトロニクス:[NEC LaVie Lスタンダード シュガーピンク Vista Home Premium 2GB デを通販で買う]
ホーム＆キッチン:[電気酒燗器 美濃焼 2.5合 MSK-250 K MSK-250 Kの内容を確認する]
ベビー＆マタニティ:[NewNativeスリング フランネル・ナチュラル XSの内容を確認する]
アパレル＆シューズ:[MARBLE ARCH マーブルアーチ ベルトスリッポン 308-73108の内容を確認する]
ヘルス＆ビューティー:[パックスオリー フェイスフォーム 150mlの内容を確認する]

【Yahoo!ショッピング】小説から専門書まで豊富な本の品揃え
Amazon.co.jpで本を探す


[トップへ戻る] / [Book商品一覧]