国際会議発表 (査読有り)

• 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, Sept. 2006.
• NAOYUKI NAGATOU, Takuo Watanabe. Runtime Detection of Covert Channels, 1st International Conference on Availability, Reilability and Security (ARES 2006), IEEE, pp. 577-584, Apr. 2006.  公式リンク  
  

国内会議発表 (査読なし・不明)

• 橋本康範, 渡部卓雄, 山田聖. Moxaによるアスペクト指向的仕様記述：プロトコルからのモジュラーなDbC記述に向けて, 情報処理学会ソフトウェア工学研究会, 情報処理学会研究報告, Vol. 2006-SE, No. 153, pp. 15-22, July 2006.

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]