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

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

• 要旨（「BOOK」データベースより）

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

• 目次（「BOOK」データベースより）

  第１部　モデルとソフトウェア開発（ＶＤＭ＋＋でモデルを構築する：その概観
  ＶＤＭ＋＋のツールサポート）
  第２部　ＶＤＭ＋＋によるオブジェクト指向システムのモデリング（データを定義する
  機能を定義する　ほか）
  第３部　モデリングの実践―３つのケーススタディ（モデルの構造化：エニグマ暗号機
  ビューの統合：ＣＳＬａＭシステム　ほか）
  第４部　モデルから実装へ（ＶＤＭ＋＋による並行処理
  モデルの品質　ほか）

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  フィッツジェラルド,ジョン(フィッツジェラルド,ジョン／Fitzgerald,John)
  博士。英ニューカッスル大学コンピューティングサイエンス学部の教授。大学のソフトウェア信頼性センターでは、耐障害性に優れた適応システムの設計に向けた、形式手法の研究を主導している。企業の中であるいは企業と共に、航空、交通機関、電力システム、そして動的バイナリ変換などの仕様化技術を開発して来た。１９９１年にマンチェスター大学の博士号を取得。ＦＭＥ（欧州形式手法会議）のチェアマン、ＢＣＳのフェロー、ならびにＡＣＭのメンバーである
  
  ラーセン,ピーター・ゴルム(ラーセン,ピーターゴルム／Larsen,Peter Gorm)
  教授。デンマークのオーフス大学工学部の形式手法グループの長で、組込みシステム設計のための形式手法とツールが研究テーマ。大学に職を得る前は、産業界に身を置いていたが、特にＩＦＡＤ　Ａ／Ｓにおける研究、コンサルテーション、そしてトレーニングを責任者としてのキャリアは特筆されるべきものである。ＩＦＡＤではＶＤＭＴｏｏｌｓと関連技術の開発も主導していた。その後Ｓｙｓｔｅｍａｔｉｃ　Ａ／Ｓにてチーフ・ビジネス・ソリューション・アーキテクトとして働いた
  
  マッカージー,ポール(マッカージー,ポール／Mukherjee,Paul)
  マッケソン社のソフトウェア開発担当バイス・プレジデント。ＩＦＡＤ　Ａ／ＳにおけるＶＤＭＴｏｏｌｓの開発に続き、多くの大規模プロジェクトを経験している。ロッキード社のシニア・アーキテクトとして陸軍史上最大規模の防衛契約の一部を担ったり、ブリティッシュ・テレコムではチーフ・テクニカル・アーキテクトとして、民間のＩＴシステムとしては歴史上最大規模のロンドンＬＳＰシステムに携わったりした。ロンドン大学から博士号を取得
  
  プラット,ニコ(プラット,ニコ／Plat,Nico)
  オランダ・デルフトに拠点をおくソフトウェアエンジニアリング会社ウエストコンサルティング社のテクニカルディレクター。専門家としての興味は、ソフトウェア工学、形式手法、ソフトウェアとエンタープライズ・アーキテクチャ、そしてグリーンＩＴに向けられている。デルフト工科大学から１９９３年に博士号を取得。世界的なＩＴ企業キャップジェミニで働いた後、２０００年からウエストコンサルティング社で働いている。Ｏｖｅｒｔｕｒｅ言語仕様委員会のチェアマンも務めており、ＶＤＭ言語ファミリーの開発を指導している
  
  バーホフ,マーセル(バーホフ,マーセル／Verhoef,Marcel)
  オランダのハーレムに拠点を置くチェス社の組込みシステムアーキテクト。デルフト工科大学でコンピュータサイエンスを学び、１９９３年に形式仕様の型チェックを行なうツールの研究で修士号を取得した。分散組込みリアルタイム制御システムの多重原則設計の研究によって、ナイメーヘンのラドバウド大学から２００９年に博士号を取得。形式手法の分野ではアクティブな研究者であると同時に実践する技術者でもある。特にＶＤＭ＋＋の利用を推進している

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