@article{CTT100390061,
  author = {山田聖 and 渡部卓雄},
  title = {契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa},
  journal = {情報処理学会論文誌 プログラミング},
  year = 2005,
}

@inproceedings{CTT100860751,
  author = {Takuo Watanabe and Kiyoshi Yamada},
  title = {Aspect-Oriented Behavioral Interface Specification in Moxa},
  booktitle = {},
  year = 2009,
}

@inproceedings{CTT100860754,
  author = {Takuo Watanabe and Kiyoshi Yamada},
  title = {An Aspect-Oriented Behavioral Interface Specification Langauge},
  booktitle = {Research Report, Department of Informatics, University of Oslo},
  year = 2008,
}

@inproceedings{CTT100391782,
  author = {Kiyoshi Yamada and Takuo Watanabe},
  title = {An Aspect-Oriented Approach to Modular Behavioral Specifications},
  booktitle = {Electronic Notes in Theoretical Computer Science, Elsevier},
  year = 2006,
}

@inproceedings{CTT100410891,
  author = {橋本康範 and 渡部卓雄 and 山田聖},
  title = {Moxaによるアスペクト指向的仕様記述：プロトコルからのモジュラーなDbC記述に向けて},
  booktitle = {情報処理学会研究報告},
  year = 2006,
}

@inproceedings{CTT100389584,
  author = {Kiyoshi Yamada and Takuo Watanabe},
  title = {Moxa: An Aspect-Oriented Approach to Modular Behavioral Specifications},
  booktitle = {AOSD 2005 Workshop on Software-engineering Properties of Languages and  Aspect Technologies (SPLAT '05)},
  year = 2005,
}

@inproceedings{CTT100499089,
  author = {Kiyoshi Yamada and Takuo Watanabe},
  title = {An Aspect-Oriented Approach to Modular Behavioral Specification of Java Components},
  booktitle = {},
  year = 2005,
}

@inproceedings{CTT100391802,
  author = {山田聖 and 渡部卓雄},
  title = {アスペクト指向的な表明のモジュール化},
  booktitle = {レクチャーノート ソフトウェア学},
  year = 2004,
}

@inproceedings{CTT100499088,
  author = {山田聖 and 渡部卓雄},
  title = {アスペクト指向的なモジュール記述を可能とする仕様記述言語},
  booktitle = {},
  year = 2004,
}

@inproceedings{CTT100497844,
  author = {Takuo Watanabe and Kiyoshi Yamada and NAOYUKI NAGATOU},
  title = {Specifying Context-Aware Runtime Security Policies using an Algebraic Policy Specification Language},
  booktitle = {},
  year = 2004,
}

@inproceedings{CTT100497842,
  author = {山田聖 and 佐々木明 and 望月智之 and 渡部卓雄},
  title = {JMLによるアプリケーションの安全性保証：Maildirフォルダライブラリの一貫性保証},
  booktitle = {日本ソフトウェア科学会 第20回大会},
  year = 2003,
}

@inproceedings{CTT100497839,
  author = {Takuo Watanabe and Kiyoshi Yamada and NAOYUKI NAGATOU},
  title = {Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances},
  booktitle = {IEEE Workshop on Software Technologies fo Future Embedded Systems},
  year = 2003,
}