| Co-Investigator(Kenkyū-buntansha) |
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)
USHIJIMA Kazuo Kyushu University, Graduate School of Information Science and Electrical Engineering, Professor, 大学院・システム情報科学研究院, 教授 (40037750)
AGUSA Kiyoshi Nagoya University, Graduate School of Engineering, Professor, 大学院・工学研究科, 教授 (90026360)
|
|---|
| Research Abstract |
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.
|
