"Kiyoshi Yamada,Takuo Watanabe","An Aspect-Oriented Approach to Modular Behavioral Specifications","1st International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems","Electronic Notes in Theoretical Computer Science, Elsevier",,"Vol. 163","No. 1","pp. 45-56",2006,Sept.
"橋本康範,渡部卓雄,山田聖","Moxaによるアスペクト指向的仕様記述：プロトコルからのモジュラーなDbC記述に向けて","情報処理学会ソフトウェア工学研究会","情報処理学会研究報告",,"Vol. 2006-SE","No. 153","pp. 15-22",2006,July
"NAOYUKI NAGATOU,Takuo Watanabe","Runtime Detection of Covert Channels","1st International Conference on Availability, Reilability and Security (ARES 2006)",,"IEEE",,,"pp. 577-584",2006,Apr.