Grant-in-Aid for Scientific Research on Priority Areas (A)
|Research Institution||Japan Advanced Institute of Science and Technology|
KATAYAMA Takuya JAIST, School of Information Science, Professor, 情報科学研究科, 教授 (70016468)
USHIJIMA Kazuo Kyushu University, Graduate School of Information Science and Electrical Engineering, Professor, 大学院・システム情報科学研究院, 教授 (40037750)
AGUSA Kiyoshi Nagoya University, Graduate School of Engineering, Professor, 大学院・工学研究科, 教授 (90026360)
MIYAMOTO Eiichi Future University-Hakodate, Faculty of Systems and Information Science, Professor, システム・情報科学部, 教授 (00001173)
TAKEICHI Masato University of Tokyo, Graduate School of Engineering, Professor, 大学院・工学系研究科, 教授 (10011165)
ITO Takayasu Tohoku University, Graduate School of Information Sciences, Professor, 大学院・情報科学研究科, 教授 (80124551)
|Project Fiscal Year
2000 – 2000
Adopted(Fiscal Year 2000)
|Budget Amount *help
¥238,800,000 (Direct Cost : ¥238,800,000)
Fiscal Year 2000 : ¥3,000,000 (Direct Cost : ¥3,000,000)
Fiscal Year 1999 : ¥30,900,000 (Direct Cost : ¥30,900,000)
Fiscal Year 1998 : ¥42,900,000 (Direct Cost : ¥42,900,000)
Fiscal Year 1997 : ¥162,000,000 (Direct Cost : ¥162,000,000)
|Keywords||ソフトウェア発展構成原理 / ソフトウェア発展基本機構 / ソフトウェア発展方法論 / ソフトウェア方式 / ソフトウェア適応的再構成 / principles for evolution / mechanisms of evolution / methodologies for evolution / environment for evolution / adaptive reconstruction / 発展的ソフトウェア検証証明法 / ソフトウェア構築再構成方法論 / ソフトウエア構築再構成方法論|
Software evolution means that software can change and evolve according to the change of its specification and its operating environments. It is one of the most important research topics in computer science, as our highly computerized society heavily depends upon very complex software which has to evolve, and such complex software can be obtained only through evolution. In this project, we have focused on the principles and fundamental aspects of software evolution and obtained the results on the following issues.
1. Theories for evolutionary software ;
Evolutionary programming mechanisms, verification of verification system and evolution of verification information, logical systems for evolution of realtime systems, and evolutionary computational models based on constraint/logic/term-rewriting systems.
2. Fundamental mechanisms for software evolution ;
Evolution of programs based on constructive algorithms, reflective computation for evolution, partial evaluation, and visual programming environment for evolution.
3. Methodologies for constructing evolutionary software ;
Evolvable parallel languages, object evolution process, evolution through behavioral specification, specification methods for evolutionary software, automatic modification of logic programs.
4. Environment for software evolution ;
Data analysis for evolution, evolution of compiling technique, theoretical frameworks for evolution, evolutionary mechanisms for cooperative work, pattern base evolution.
5. Evolution of exiting software ;
Adaptive reconstruction, software architecture for adaptive reconstruction, evolutionary support mechanisms for network software, software re-design using patterns, adaptive evolution of operating systems.