@article{CTT100497838,
  author = {一杉裕志 and 田中哲 and 渡部卓雄},
  title = {安全に結合可能なmixinを提供するためのルール},
  journal = {コンピュータソフトウェア},
  year = 2003,
}

@inproceedings{CTT100497843,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LampJ: A Library of Adaptable Modular Programming for Java},
  booktitle = {IASTED International Conference on Software Engineering and Applications (SEA '03), ACTA Ppress},
  year = 2003,
}

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

@inproceedings{CTT100497837,
  author = {一杉裕志 and 田中哲 and 渡部卓雄},
  title = {拡張ルール：安全に結合可能なアスペクトの記述ルール},
  booktitle = {},
  year = 2003,
}

@inproceedings{CTT100548420,
  author = {ETSUYA SHIBAYAMA and Shigeki Hagihara and Naoki Kobayashi and Shin-ya Nishizaki and Kenjiro Taura and Takuo Watanabe},
  title = {AnZenMail: A Secure and Certified E-mail System},
  booktitle = {Lecture Notes in Computer Science (Software Security: Theories and Systems)},
  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,
}

@misc{CTT100497835,
  author = {Yuji Ichisugi and Akira Tanaka and Takuo Watanabe},
  title = {Extension Rules: Description Rules for Safely Composable Aspects},
  year = 2003,
}