摘要
根据 MHSC( methodology for high- level specification construction)方法论 ,提出一种支持可执行定义的进化式软件开发模型 MHSC/ DM( MHSC/ development model) .详细介绍了模型的各组成角色及其相互关系 ,并对变换类型、系统生成与配置以及系统结构进行了论述 .
In this paper, an evolutionary development model MHSC/DM (methodology for high level specification construction) is proposed based on MHSC, which supports the executable specification, and the composing roles and their interrelations are illustrated. This paper addresses the transformation 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 system consistent.
出处
《软件学报》
EI
CSCD
北大核心
2000年第11期1505-1509,共5页
Journal of Software
基金
国家自然科学基金资助项目(69703005)
浙江省自然科学基金资助项目(697006)
关键词
可执行定义
变换
进化
executable specification
transformation
evolution
