akon2.00βのよっぱらいの戯言

色しょく是食、食しょく是色

ナイスなタイミングで、伸さんが上梓。

形式手法の技術講座
形式手法の技術講座―ソフトウェアトラブルを予防する
ついでにJavaでなく、C++であり、Smalltalkなのであげておきます。
ジェネレーティブプログラミング
ジェネレーティブプログラミング (IT Architects’Archive CLASSIC MODER)