JAVA WORLD 2005/11

今月号は、厚さが薄いような。

J2SE5解体新書

MXBeanへのアクセス方法ということで、監視大切と思っているので興味のある内容です。でもでも、内容がディープになって来たので、けっこう難しい。うーん、ゆっくり読み返そうかなぁ。

JUnitで実践するテストファーストによる設計

この手の文章はけっこう読んだのでパスするつもりでしたが、仕様策定から形式手法に流れてCafeOBJがでてきました。CafeOBJですよ、先生(誰)！
うーん、これも読み返しが必要だな。すっかりさぼっているフォーマルメソッドですが、そろそろ勉強を再開したいなぁ。