論文

• 山田聖, 渡部卓雄. 契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa, 情報処理学会論文誌 プログラミング, 情報処理学会, Vol. 46, No. SIG-11 (PRO 26), pp. 27-44, Aug. 2005.  公式リンク  
  

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

• Takuo Watanabe, Kiyoshi Yamada. Aspect-Oriented Behavioral Interface Specification in Moxa, 5th Asian Workshop on Aspect-Oriented Software Development (AOAsia 5), Nov. 2009.  公式リンク  
  
• 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, Nov. 2008.  公式リンク  
  
• 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.
• 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), Mar. 2005.  公式リンク  公式リンク  
  
• 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, Feb. 2005.  公式リンク  
  
• 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, Feb. 2004.  公式リンク  
  
• 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.

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

• 山田聖, 渡部卓雄. アスペクト指向的な表明のモジュール化, 日本ソフトウェア科学会 第11回ソフトウェア工学の基礎ワークショップ (FOSE 2004), レクチャーノート ソフトウェア学, 近代科学社, Vol. 30, pp. 29-39, Nov. 2004.

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

• 橋本康範, 渡部卓雄, 山田聖. Moxaによるアスペクト指向的仕様記述：プロトコルからのモジュラーなDbC記述に向けて, 情報処理学会ソフトウェア工学研究会, 情報処理学会研究報告, Vol. 2006-SE, No. 153, pp. 15-22, July 2006.
• 山田聖, 渡部卓雄. アスペクト指向的なモジュール記述を可能とする仕様記述言語, 日本ソフトウェア科学会第21回大会, Sept. 2004.  公式リンク  
  
• 山田聖, 佐々木明, 望月智之, 渡部卓雄. JMLによるアプリケーションの安全性保証：Maildirフォルダライブラリの一貫性保証, 日本ソフトウェア科学会 第20回大会, 日本ソフトウェア科学会 第20回大会, pp. 2B-4 (5 pages), Sept. 2003.

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