| Co-Investigator(Kenkyū-buntansha) |
NAKAJIMA Shin 国立情報学研究所, アーキテクチャ科学研究系, 教授 (60350211)
CHIBA Shigeru 東京工業大学, 大学院・情報理工学研究科, 教授 (80282713)
UBAYASHI Naoyasu 九州大学, 大学院・システム情報科学研究院, 教授 (80372762)
MASUHARA Hidehiko 東京大学, 大学院・総合文化研究科, 准教授 (40280937)
IGARASHI Atsushi 京都大学, 大学院・情報学研究科, 准教授 (40323456)
KAMINA Tetsuo 東京大学, 大学院・人文社会系研究科, 助教 (90431882)
|
|---|
| Budget Amount *help |
¥48,620,000 (Direct Cost: ¥37,400,000、Indirect Cost: ¥11,220,000)
Fiscal Year 2009: ¥9,490,000 (Direct Cost: ¥7,300,000、Indirect Cost: ¥2,190,000)
Fiscal Year 2008: ¥9,490,000 (Direct Cost: ¥7,300,000、Indirect Cost: ¥2,190,000)
Fiscal Year 2007: ¥14,300,000 (Direct Cost: ¥11,000,000、Indirect Cost: ¥3,300,000)
Fiscal Year 2006: ¥15,340,000 (Direct Cost: ¥11,800,000、Indirect Cost: ¥3,540,000)
|
|---|
| 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.
|
