ＢＯＯＫＳ〜〜ソフトウェアトラブルを予防する〜形式手法の技術講座
日経コンピュータ　第708号　2008.7.15

佐原　伸　著ソフト・リサーチ・センター　発行２３００円（税抜き）ＩＳＢＮ９７８−４−８８３７３−２５８−６　高い信頼性を持つシステムを設計・開発する手法として注目を集める「形式手法」。数学を土台にしており、仕様を厳密に記述できるのが同手法の特徴だが、とっつきにくい面も少なくない。　本書は形式手法を基礎から解説する。歴史の古い「ＶＤＭ」と、そのオブジェクト指向版である「ＶＤＭ＋＋」を題材に、構文の文…