論文

• 一杉裕志, 田中哲, 渡部卓雄. 安全に結合可能なmixinを提供するためのルール, コンピュータソフトウェア, 日本ソフトウェア科学会, Vol. 20, No. 3, pp. 80-87, 2003.

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

• Noriki Amano, Takuo Watanabe. LampJ: A Library of Adaptable Modular Programming for Java, IASTED International Conference on Software Engineering and Applications (SEA '03), IASTED International Conference on Software Engineering and Applications (SEA '03), ACTA Ppress, pp. 465-470, Nov. 2003.
• ETSUYA SHIBAYAMA, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe. AnZenMail: A Secure and Certified E-mail System, Lecture Notes in Computer Science (Software Security: Theories and Systems), Vol. 2609, pp. 201-216, 2003.
• 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.

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

• 山田聖, 佐々木明, 望月智之, 渡部卓雄. JMLによるアプリケーションの安全性保証：Maildirフォルダライブラリの一貫性保証, 日本ソフトウェア科学会 第20回大会, 日本ソフトウェア科学会 第20回大会, pp. 2B-4 (5 pages), Sept. 2003.
• 一杉裕志, 田中哲, 渡部卓雄. 拡張ルール：安全に結合可能なアスペクトの記述ルール, 第５回プログラミングおよびプログラミング言語ワークショップ(PPL 2003), 日本ソフトウェア科学会, pp. 58-73, Mar. 2003.

その他の論文・著書など

• Yuji Ichisugi, Akira Tanaka, Takuo Watanabe. Extension Rules: Description Rules for Safely Composable Aspects, AIST Technical Report, No. AIST01-J00002-4, 2003.

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