内容説明
高品質ソフトウェアの開発をめざしているソフトウェア開発現場の読者を想定し、日本で大規模システムの開発に実際に形式手法を適用した経験に基づき、形式手法の概要とともに、形式手法適用の第一歩となる形式仕様記述言語について解説。
目次
第１章 ソフトウェアトラブルを予防する「形式手法」とは？（伝統的手法の問題点；形式手法とは？ ほか）
第２章 「形式手法」技術解説（形式手法によるシステム開発手順；ＶＤＭ手法 ほか）
第３章 主な形式手法と形式仕様記述言語の概要（各手法と言語の位置づけ；モデルベース仕様記述言語 ほか）
第４章 「形式手法」の効果的な導入法（問題が大きい工程の解明；仕様のフレームワーク構築 ほか）
著者等紹介
佐原伸［サハラシン］
１９５１年、東京都生まれ。１９７５年、東京教育大学理学部応用数理学科卒。同年野村コンピュータシステム（現野村総合研究所）入社。証券情報システム構築、第２次オンラインシステム構築、ソフトウェア開発・保守環境（ＳＭＥＦ）の構築、社内へのＵＮＩＸおよびワークステーション導入などに従事。１９８７年、ＳＲＡ入社。ソフトウェア工学全般、リアルタイム構造化分析／設計、オブジェクト指向分析／設計、形式手法、ＣＡＳＥおよびプロジェクト管理のコンサルティングなどに従事。ワークステーションＳＩ事業部、Ｓｍａｌｌｔａｌｋ販売・開発プロジェクトのマネージャーでもあった。２０００年７月、日本フィッツ（現ＣＳＫシステムズ）入社。形式手法ＶＤＭによる証券システム開発、ＶＤＭ普及、形式手法のコンサルティングなどに従事。言語、モデリング、ハイパーテキスト、ＣＡＳＥに興味を持つ。趣味はサッカーと囲碁およびソフトウェア収集とプログラミング。Ｆｏｒｍａｌ Ｍｅｔｈｏｄ Ｅｕｒｏｐｅ、ソフトウェア技術者協会（ＳＥＡ）、ソフトウェア科学会、情報処理学会などの会員。Ｆｏｒｍａｌ Ｍｅｔｈｏｄ ２００３、２００６プログラム委員。Ｆｏｒｍａｌ Ｍｅｔｈｏｄ ２００８ Ｏｖｅｒｔｕｒｅ／ＶＤＭ＋＋ Ｗｏｒｋｓｈｏｐ副委員長（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
