 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
吴明晖,应晶,何志均.支持可执行定义的进化式软件开发模型.软件学报,2000,11(11):1505-1509 |
支持可执行定义的进化式软件开发模型 |
An Evolutionary Development Model Supporting Executable Specification |
投稿时间:1999-05-24 修订日期:2000-03-15 |
DOI: |
中文关键词: 可执行定义 变换 进化 |
英文关键词:executable specification transformation evolution |
基金项目:国家自然科学基金资助项目(69703005);浙江省自然科学基金资 助项目(697006) |
|
摘要点击次数: 2992 |
全文下载次数: 3037 |
中文摘要: |
根据MHSC(methodology for high-level specification construction)方法论,提出一种 支持可执行定义的进化式软件开发模型MHSC/DM(MHSC/development model).详细介绍了模型 的各组成角色及其相互关系,并对变换类型、系统生成与配置以及系统结构进行了论述.此模 型较好地实现了从需求到原型系统的进化式开发的自动支持和一致性保证. |
英文摘要: |
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. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|