Daniel JacksonのSoftware Abstractions: Logic, Language, and Analysisを読み始めた

なぜ形式手法か？なぜAlloyを作ったかが明確に分かる良書。英語自体も参考になる。
Daniel Jacksonがプログラマー時代にVDMを使っていたことも判明。
付録のVDMの例は、Peter Gorm Larsenが書いている。
熟読すべき本である。

Posted: 金 - 9月 8, 2006 at 04:27 午後