2009 Fiscal Year Final Research Report
Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety
| 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)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
NAKAJIMA Shin 国立情報学研究所, アーキテクチャ科学研究系, 教授 (60350211)
CHIBA Shigeru 東京工業大学, 大学院・情報理工学研究科, 教授 (80282713)
UBAYASHI Naoyasu 九州大学, 大学院・システム情報科学研究院, 教授 (80372762)
MASUHARA Hidehiko 東京大学, 大学院・総合文化研究科, 准教授 (40280937)
IGARASHI Atsushi 京都大学, 大学院・情報学研究科, 准教授 (40323456)
KAMINA Tetsuo 東京大学, 大学院・人文社会系研究科, 助教 (90431882)
|
|---|
| Project Period (FY) |
2006 – 2009
|
| Keywords | アスペクト指向プログラミング / セキュリティ / ソフトウェア工学 / ディスペンダブル・コンピューティング / UML / 形式手法 / ソフトウェア開発効率化・安定化 / 要求工学 |
|---|
| Research Abstract |
We conducted a research project titled "Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety" in the fiscal years from 2006 to 2009. In the project, we developed a theory and tools for validating type-safety of aspect-oriented models, designed a new aspect-oriented language with highly advanced features and built a language processor that has high performance as well as flexible usability. We also applied our method to security validation of Web services written in BFPL and constructed a software development methodology for employing aspect-oriented technologies.
|
Research Products
(15 results)
