| 基于形式化方法的快速原型技术 |
| |
| 引用本文： | 王泽兵 李赣生. 基于形式化方法的快速原型技术[J]. 浙江大学学报(工学版), 1997, 31(6): 783-791 |
| |
| 作者姓名： | 王泽兵 李赣生 |
| |
| 摘 要： | 本文从传统的软件生存周期模型的弊病出发，分析与综述了快速原型软件开发方法的原理、技术及其应用，并与其它模型作了比较，提出了明确的观点．然后，提出了正在开发中的一个基于形式化方法的快速原型软件工程环境（ＳＤＳ），介绍了它的组成，基本特点及应用实例．
|
| 关 键 词： | 软件生存周期模型；快速原型；VDM；形式化方法；规格说明 |
Software rapid prototyping based on formal methods |
| |
| Wang Zebing Li Gansheng. Software rapid prototyping based on formal methods[J]. Journal of Zhejiang University(Engineering Science), 1997, 31(6): 783-791 |
| |
| Authors: | Wang Zebing Li Gansheng |
| |
| Abstract: | In this paper, we started with the deficiencies for traditional software life-cycle mode, analysed and reviewed some issues in the area of software rapid prototyping, including its basic principles, techniques and applications, and compared with other software development models, presented author's opinion. Then presented some key points in an on-going project-SDS(Software Development System),which is an environment based on formal method for software development. |
| |
| Keywords: | software life cycle model software rapid prototyping VDM formal method specification |
| 本文献已被 维普 等数据库收录！ |
