Study on Aspect Oriented Software Development for Enhancing Productivity and Security

2008 Fiscal Year Self-evaluation Report

• Project/Area Number: 18200001
• Research Category: Grant-in-Aid for Scientific Research (A)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: The University of Tokyo
• Principal Investigator: TAMAI Tetsuo The University of Tokyo, 大学院・総合文化研究科, 教授 (60217172)
• Project Period (FY): 2006 – 2009
• Keywords: プログラム言語 / アスペクト指向プログラミング / セキュリティ / ソフトウェア工学 / ディペンダブル・コンピューティング / ソフトウェア開発効率化・安定化 / UML / 形式手法

Research Abstract

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

Research Products

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