パスワードを忘れた? アカウント作成
240959 journal

shimashimaの日記: [ソフトウェア工学][形式手法]VDM++の書籍

日記 by shimashima

翔泳社より「VDM++によるオブジェクト指向システムの高品質設計と検証」という書籍が発売されるようだ。

一般書籍で形式手法を扱ったものはいくつかあるが、ここまで詳細なものは初めてなのではないだろうか。組込ではわからないが、業務システムで形式手法を導入したという話はとんと聞かないが、ソフトウェアが他の工学分野と同レベルの仕様書を記述する手段としては形式手法がいまのところ最も進んでいると考えている。それだけに期待はしているのだが、導入コストが高いことと認知されていないことがネックになっている。

そしてそもそも形式手法ほどフォーマル(?)ではないにしろ、(デマルコが提唱した手法などの)モデリング自体があまり行われていない、導入されていないのが現状ではないだろうか。

とまあ、色々言ってみたが、要は自分がこの書籍が気になっているということなのだ。
最近体調不良で電車内でなかなか書籍を読むことができないので購入は躊躇っているが、本格的な形式手法の解説書ということでとても興味はある。
この手の書籍は数がでないだろうしあっという間に絶版という可能性もあるので、買えるときに買っておくのがいいのだろうが、置き場所など色々問題が……。悩む。

この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。
typodupeerror

一つのことを行い、またそれをうまくやるプログラムを書け -- Malcolm Douglas McIlroy

読み込み中...