Research on Fundamental Mechanisms for Software Evolution

点击翻译按钮获取中文摘要

The project aims to study principles for retaining the constant evolutional requirement for software and establish mechanisms for constructing software which can be evolved in accordance with such requirements. Followings are major research results during 3 years.1. Designing languages for algebraic transformation of programs and constructing an experimental transformation system.2. Optimizing internal representation for evolutional compilers.3. Realizing a practical partial computation mechanism to investigate its applicability for software evolution.4. Studying techniques for visualizing information on software design process.5. Adaptation algorithms for network load balancing.6. Developing a technique for transformation rule generation from specification.7. Construction of interactive visualization system based on reflection.8. Generalization of quantitative evaluation of effectiveness of program transformation.9. Implementation of LEAD++ compiler and its evaluation through application with code migration.10. Designing reflection mechanism for typed functional language.11. Generalization of algebraic semantics.12. Developing an evolutional compiler and its evaluation.