An Evolutionary Development Model Supporting Executable Specification
支持可执行定义的进化式软件开发模型

In this paper, an evolutionary development mo del MHSC/DM (methodology for high-level specification construction) is proposed based on MHSC, which supports the executable specification, and the composing r oles and their interrelations are illustrated. This paper addresses the transfor mation classification, system generation and configuration, and architecture of the model. The development model can be used to support automatic generation of prototype system quite well from requirements through evolution and can keep sys tem consistent.