[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[jfriends-ml 1687] Re: 「 Java スレッドプログラミング を読む会」第 9 回議事録



高橋(徹)です。

読書会の時の雑談時に、
「AspectJを使う場合に、ツールが正しく機能を織り込むことを検証することが
難しい」という話題が出ていたと思います。この問題なるほどと思っていたとき
に、下記情報をみつけました。
「オブジェクト指向2001シンポジウム参加報告」によると、
"アスペクト指向プログラミングへのモデル検査手法の適用」という発表が
あったようです。
http://www.fuka.info.waseda.ac.jp/~washi/other/oo2001.html


---
Toru TAKAHASHI