| 一个支持软件定义模拟的原型开发框架研究 |
| |
| 引用本文： | 应晶.一个支持软件定义模拟的原型开发框架研究[J].浙江大学学报(自然科学版 ),2000,34(6):696-698. |
| |
| 作者姓名： | 应晶 |
| |
| 作者单位： | 浙江大学计算机系,浙江杭州 |
| |
| 基金项目： | 国家自然科学基金资助项目(69703005)；教育部高等学校骨干教师资助计划项目 |
| |
| 摘 要： | 1 软件开发方法论软件系统的开发存在着定义层 (软件需求描述、分析及软件定义的形成 )与实现层 (算法、数据结构的实现与代码生成 )之间的断层 1] . Yeh2 ] 指出 ,软件开发中存在双重压迫 :一是大型系统的问题定义方法 ,二是复杂系统的维护问题 .由此迫切需要引入新的方法论来指导软件系统开发 ,使软件生产率有较大的改进 ,打破开发瓶颈 .综合考虑 ,软件的开发问题实际是如何描述功能需求的问题3] .引入一种定义方法 ,通过构造方法获取软件系统的功能模型 ,使整个开发演变为基于定义的增量开发过程 ,通过在此高层定义上的连续加工形成…
|
| 关 键 词： | 软件定义 原型开发框架 软件开发 MHSC 方法论 |
| 文章编号： | 1008-973X(2000)06-0696-03 |
| 修稿时间： | 1999年10月22 |
A prototype development framework to support software specification simulation |
| |
| YING Jing.A prototype development framework to support software specification simulation[J].Journal of Zhejiang University(Engineering Science),2000,34(6):696-698. |
| |
| Authors: | YING Jing |
| |
| Abstract: | Addresses the prototyping method and techniques in software development procedure, and the method for software specification simulation. Based on the executable specification methodology, the paper proposes a software prototype development framework which is used to support specification simulation. Thus the validation and verification of specification could efficiently enhance the development of software prototype system through the specification simulation mechanism. |
| |
| Keywords: | wordssoftware specification prototyping method specification simulation |
| 本文献已被 CNKI 维普 等数据库收录！ |
