VDM++によるオブジェクト指向システムの高品質設計と検証 (IT architects’ archive)

VDM++によるオブジェクト指向システムの高品質設計と検証 (IT architects’ archive)
お得情報
  • Amazonマーケットプレイス
    ¥ 2,976 より
  • 購入1
  • クリック32
  • 言及数8ブログ
  • ブックマーク1users
「VDM++によるオブジェクト指向システムの高品質設計と...」をAmazonで購入する
amazon.co.jp 詳細ページへ

商品の紹介

品質問題で余計な修正コストがかかっている原因の8割は「仕様」が曖昧 一般にユーザからの要求に対して正確な仕様書が作成されて、はじめてエンジニアが要求に合ったソフト ...

「VDM++によるオブジェクト指向システムの高品質設計と...」を含むはてなダイアリーの人気ブログ この商品についてブログを書く

  • 前エントリー「僕が形式手法を学び始めたときに読んだ10冊 - masaterukの日記」のラインナップはあまりに入手困難なものばかりだったので、2012年に始めるならということで改めて選んでみた。 1冊目。VDM\u002b\u002bによるオブジェクト指向システムの高品質設計と検証 (IT architects’ archive)作者: ジョン・フィッツジェラルド、ピーター・ゴルム・ラーセン、ポール・マッカージー、 続きを読む

    2012年に形式手法を学び始めるならこの7冊 - masaterukの日記masateruk2012/10/0523 users
  • ソフトウェア開発, VDM, イベント | 19:48 | 昨日は某所で行われた形式仕様記述言語VDM\u002b\u002bの基礎を学ぶセミナーに参加してきた。講師は「VDM\u002b\u002bによるオブジェクト指向システムの高品質設計と検証」の翻訳者としても著名な酒匂寛氏。VDM\u002b\u002bの書籍に目を通して、そのサンプルを動かす程度の経験しか無かったので、演習で色々と試せる機会が得られたのは有難か... 続きを読む

    形式仕様記述VDM\u002b\u002bを学ぶセミナーに参加してきた - Basicrabbit2go2010/11/254 users

「VDM++によるオブジェクト指向システムの高品質設計と...」が好きな人は、こんな商品も購入しています

他の商品を探す