生産性と安全性向上のためのアスペクト指向ソフトウェア開発に関する研究

2008 年度 自己評価報告書

• 研究課題/領域番号: 18200001
• 研究種目: 基盤研究(A)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 東京大学
• 研究代表者: 玉井 哲雄 東京大学, 大学院・総合文化研究科, 教授 (60217172)
• 研究期間 (年度): 2006 – 2009
• キーワード: プログラム言語 / アスペクト指向プログラミング / セキュリティ / ソフトウェア工学 / ディペンダブル・コンピューティング / ソフトウェア開発効率化・安定化 / UML / 形式手法

研究概要

ソフトウェアの生産性と安全性を向上させることを目的に, アスペクト指向ソフトウェア開発の技術を構築し, 言語とツールとして提供する.

研究成果

• [雑誌論文] Contract-based Verification for Aspect-oriented Refactoring (2008)
  • 著者名/発表者名: Naoyasu Ubayashi
  • 雑誌名: Proceedings of 1st IEEE International Conference on Software Testing
• [雑誌論文] Lightweight Dependent Classes (2008)
  • 著者名/発表者名: Tetsuo Kamina
  • 雑誌名: Proceedings of the 7th ACM International Conferenceon on Generative Programming and Components Engineering
• [雑誌論文] Objects as Actors Assuming Roles in the Environment (2007)
  • 著者名/発表者名: Tetsuo Tamai
  • 雑誌名: LNCS 4408
• [雑誌論文] Union types for object-oriented programming (2006)
  • 著者名/発表者名: Igarashi, A.
  • 雑誌名: ACM Transactions on Programming Languages and Systems
• [雑誌論文] Program Transformation with Reflection and Aspect-Oriented Programming (2006)
  • 著者名/発表者名: Chiba, S.
  • 雑誌名: Generative and Transformational Techniques in Software Engineering LNCS 4143
• [学会発表] Towards Right Abstraction Mechanisms for Crosscutting Concerns (2008)
  • 著者名/発表者名: Hidehiko Masuhara
  • 学会等名: ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution
  • 年月日: 20080000
• [学会発表] Predicate dispatch for Aspect-Oriented Programming (2008)
  • 著者名/発表者名: Shigeru Chiba
  • 学会等名: A workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms
  • 年月日: 20080000
• [学会発表] FD Checker--A Formal Analysis Tool for FODA Feature Diagrams (2008)
  • 著者名/発表者名: Shin Nakajima
  • 学会等名: AOAsia4
  • 年月日: 20080000
• [学会発表] Variant path types for scalable extensibility (2007)
  • 著者名/発表者名: Athushi Igarashi
  • 学会等名: Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
  • 年月日: 20070000
• [図書] 16th International Conference on Requirements Engineering---RE'08 (2008)
  • 著者名/発表者名: Tamal, T.(ed.)
  • 出版者: IEEE
• [図書] プログラミング in Ocaml (2007)
  • 著者名/発表者名: 五十嵐淳
  • 出版者: 技術評論社
• [備考] 研究代表者(玉井)は日本ソフトウェア科学会フェローの称号を受賞.
• [備考] 研究分担者(平成20年度より研究協力者に変更)から3人が文部科学大臣表彰若手科学者賞を受賞(千葉,五十嵐,増原). さらに五十嵐はIBM科学賞,マイクロソフトリサーチ日本情報学研究賞も受賞.