VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法

  • VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法
  • VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法
ISBN
978-4-7981-1961-8
著者情報
フィッツジェラルド,ジョン(フィッツジェラルド,ジョン)(Fitzgerald,John)
博士。英ニューカッスル大学コンピューティングサイエンス学部の教授。大学のソフトウェア信頼性センターでは、耐障害性に優れた適応システムの設計に向けた、形式手法の研究を主導している。企業の中であるいは企業と共に、航空、交通機関、電力システム、そして動的バイナリ変換などの仕様化技術を開発して来た。1991年にマンチェスター大学の博士号を取得。FME(欧州形式手法会議)のチェアマン、BCSのフェロー、ならびにACMのメンバーである

ラーセン,ピーター・ゴルム(ラーセン,ピーターゴルム)(Larsen,Peter Gorm)
教授。デンマークのオーフス大学工学部の形式手法グループの長で、組込みシステム設計のための形式手法とツールが研究テーマ。大学に職を得る前は、産業界に身を置いていたが、特にIFAD A/Sにおける研究、コンサルテーション、そしてトレーニングを責任者としてのキャリアは特筆されるべきものである。IFADではVDMToolsと関連技術の開発も主導していた。その後Systematic A/Sにてチーフ・ビジネス・ソリューション・アーキテクトとして働いた

マッカージー,ポール(マッカージー,ポール)(Mukherjee,Paul)
マッケソン社のソフトウェア開発担当バイス・プレジデント。IFAD A/SにおけるVDMToolsの開発に続き、多くの大規模プロジェクトを経験している。ロッキード社のシニア・アーキテクトとして陸軍史上最大規模の防衛契約の一部を担ったり、ブリティッシュ・テレコムではチーフ・テクニカル・アーキテクトとして、民間のITシステムとしては歴史上最大規模のロンドンLSPシステムに携わったりした。ロンドン大学から博士号を取得

プラット,ニコ(プラット,ニコ)(Plat,Nico)
オランダ・デルフトに拠点をおくソフトウェアエンジニアリング会社ウエストコンサルティング社のテクニカルディレクター。専門家としての興味は、ソフトウェア工学、形式手法、ソフトウェアとエンタープライズ・アーキテクチャ、そしてグリーンITに向けられている。デルフト工科大学から1993年に博士号を取得。世界的なIT企業キャップジェミニで働いた後、2000年からウエストコンサルティング社で働いている。Overture言語仕様委員会のチェアマンも務めており、VDM言語ファミリーの開発を指導している

バーホフ,マーセル(バーホフ,マーセル)(Verhoef,Marcel)
オランダのハーレムに拠点を置くチェス社の組込みシステムアーキテクト。デルフト工科大学でコンピュータサイエンスを学び、1993年に形式仕様の型チェックを行なうツールの研究で修士号を取得した。分散組込みリアルタイム制御システムの多重原則設計の研究によって、ナイメーヘンのラドバウド大学から2009年に博士号を取得。形式手法の分野ではアクティブな研究者であると同時に実践する技術者でもある。特にVDM++の利用を推進している

¥6,028 税込

27 nanacoポイント

27 セブンマイル

セブン-イレブン受取り(送料無料)

発送目安

発売日(発売日以降は当日)~2日で発送

宅配(送料¥550税込)

発送目安

発売日(発売日以降は当日)~2日で発送

交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。

商品説明

品質問題で余計な修正コストがかかっている原因の8割は「仕様」が曖昧。残念な事に「仕様」をきちんと書かずに力技で作り上げるソフトウェア開発の現場。その過程で技術者たちが不毛な開発作業を強いられている現状を打開する1冊。アーキテクトから保守管理者まで、仕様記述の仕組みが手に取るようにわかる。

目次

第1部 モデルとソフトウェア開発(VDM++でモデルを構築する:その概観
VDM++のツールサポート)
第2部 VDM++によるオブジェクト指向システムのモデリング(データを定義する
機能を定義する ほか)
第3部 モデリングの実践―3つのケーススタディ(モデルの構造化:エニグマ暗号機
ビューの統合:CSLaMシステム ほか)
第4部 モデルから実装へ(VDM++による並行処理
モデルの品質 ほか)

商品詳細

シリーズ名
IT Architects’ Archive ソフトウェア開発の実践
出版社名
翔泳社
対象年齢
一般
フォーマット
単行本
原題
原タイトル:Validated Designs for Object-Oriented Systems

注意事項

本の帯に関して
帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。
版・表紙について
版・表紙(カバー)のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典(初回特典、初回仕様特典)がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。

あなたへのおすすめ