よく一緒に購入されている商品
商品の説明
内容（「BOOK」データベースより）
高品質ソフトウェアの開発をめざしているソフトウェア開発現場の読者を想定し、日本で大規模システムの開発に実際に形式手法を適用した経験に基づき、形式手法の概要とともに、形式手法適用の第一歩となる形式仕様記述言語について解説。
著者略歴 (「BOOK著者紹介情報」より)
佐原 伸
1951年、東京都生まれ。1975年、東京教育大学理学部応用数理学科卒。同年野村コンピュータシステム(現野村総合研究所)入社。証券情報システム構築、第2次オンラインシステム構築、ソフトウェア開発・保守環境(SMEF)の構築、社内へのUNIXおよびワークステーション導入などに従事。1987年、SRA入社。ソフトウェア工学全般、リアルタイム構造化分析/設計、オブジェクト指向分析/設計、形式手法、CASEおよびプロジェクト管理のコンサルティングなどに従事。ワークステーションSI事業部、Smalltalk販売・開発プロジェクトのマネージャーでもあった。2000年7月、日本フィッツ(現CSKシステムズ)入社。形式手法VDMによる証券システム開発、VDM普及、形式手法のコンサルティングなどに従事。言語、モデリング、ハイパーテキスト、CASEに興味を持つ。趣味はサッカーと囲碁およびソフトウェア収集とプログラミング。Formal Method Europe、ソフトウェア技術者協会(SEA)、ソフトウェア科学会、情報処理学会などの会員。Formal Method 2003、2006プログラム委員。Formal Method 2008 Overture/VDM++ Workshop副委員長(本データはこの書籍が刊行された当時に掲載されていたものです)
1951年、東京都生まれ。1975年、東京教育大学理学部応用数理学科卒。同年野村コンピュータシステム(現野村総合研究所)入社。証券情報システム構築、第2次オンラインシステム構築、ソフトウェア開発・保守環境(SMEF)の構築、社内へのUNIXおよびワークステーション導入などに従事。1987年、SRA入社。ソフトウェア工学全般、リアルタイム構造化分析/設計、オブジェクト指向分析/設計、形式手法、CASEおよびプロジェクト管理のコンサルティングなどに従事。ワークステーションSI事業部、Smalltalk販売・開発プロジェクトのマネージャーでもあった。2000年7月、日本フィッツ(現CSKシステムズ)入社。形式手法VDMによる証券システム開発、VDM普及、形式手法のコンサルティングなどに従事。言語、モデリング、ハイパーテキスト、CASEに興味を持つ。趣味はサッカーと囲碁およびソフトウェア収集とプログラミング。Formal Method Europe、ソフトウェア技術者協会(SEA)、ソフトウェア科学会、情報処理学会などの会員。Formal Method 2003、2006プログラム委員。Formal Method 2008 Overture/VDM++ Workshop副委員長(本データはこの書籍が刊行された当時に掲載されていたものです)
登録情報 |
この商品を見た後に買っているのは？
類似した商品から提示されたタグ(詳細)関連タグ(この商品に近い関連キーワード)を追加する++最初のタグになります
|
カスタマーレビュー
リストマニア
|
|
関連商品を探す
- 本 > コンピュータ・IT
- 本 > ソフトリサーチセンター
同じキーワードの商品を探す
フィードバック
- カタログ情報、または画像について報告
- 著者からのコメント
- 出版社からのコメント
|
