"Takuo Watanabe,Kiyoshi Yamada","Aspect-Oriented Behavioral Interface Specification in Moxa","5th Asian Workshop on Aspect-Oriented Software Development (AOAsia 5)",,,,,,2009,Nov.
"Takuo Watanabe,Kiyoshi Yamada","An Aspect-Oriented Behavioral Interface Specification Langauge","2nd Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2008)","Research Report, Department of Informatics, University of Oslo",,"Vol. 377",,"pp. 85-92",2008,Nov.
"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
"山田聖,渡部卓雄","契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa",,"情報処理学会論文誌 プログラミング","情報処理学会","Vol. 46","No. SIG-11 (PRO 26)","pp. 27-44",2005,Aug.
"Kiyoshi Yamada,Takuo Watanabe","Moxa: An Aspect-Oriented Approach to Modular Behavioral Specifications","AOSD 2005 Workshop on Software-engineering Properties of Languages and  Aspect Technologies (SPLAT '05)","AOSD 2005 Workshop on Software-engineering Properties of Languages and  Aspect Technologies (SPLAT '05)",,,,,2005,Mar.
"Kiyoshi Yamada,Takuo Watanabe","An Aspect-Oriented Approach to Modular Behavioral Specification of Java Components","IASTED International Conference on Software Engineering (SE 2005)",,"ACTA Press",,,"pp. 360-365",2005,Feb.
"山田聖,渡部卓雄","アスペクト指向的な表明のモジュール化","日本ソフトウェア科学会 第11回ソフトウェア工学の基礎ワークショップ (FOSE 2004)","レクチャーノート ソフトウェア学","近代科学社","Vol. 30",,"pp. 29-39",2004,Nov.
"山田聖,渡部卓雄","アスペクト指向的なモジュール記述を可能とする仕様記述言語","日本ソフトウェア科学会第21回大会",,,,,,2004,Sept.
"Takuo Watanabe,Kiyoshi Yamada,NAOYUKI NAGATOU","Specifying Context-Aware Runtime Security Policies using an Algebraic Policy Specification Language","IASTED International Conference on Software Engineering (SE 2004)",,"ACTA Press",,,"pp. 662-667",2004,Feb.
"山田聖,佐々木明,望月智之,渡部卓雄","JMLによるアプリケーションの安全性保証：Maildirフォルダライブラリの一貫性保証","日本ソフトウェア科学会 第20回大会","日本ソフトウェア科学会 第20回大会",,,,"pp. 2B-4 (5 pages)",2003,Sept.
"Takuo Watanabe,Kiyoshi Yamada,NAOYUKI NAGATOU","Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances","IEEE Workshop on Software Technologies fo Future Embedded Systems","IEEE Workshop on Software Technologies fo Future Embedded Systems",,,,"pp. 65-68",2003,