| 软件开发中的形式化方法介绍 |
| |
| 引用本文： | 张玮玮,陈珊.软件开发中的形式化方法介绍[J].张家口职业技术学院学报,2005,18(1):54-57. |
| |
| 作者姓名： | 张玮玮 陈珊 |
| |
| 作者单位： | 1. 嘉应学院,广东,梅州,514015
2. 浙江工贸职业技术学院,浙江,温州,325003 |
| |
| 摘 要： | 软件工程中的形式化方法就是依靠数学模型和计算来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等,其最根本的一点就是建立在严格的数学基础上的方法.使用形式化方法可以帮助开发者获得对其所描述的系统的深刻而正确的理解,发现并及时更正设计中的错误和缺陷.众多的形式化方法在功能上可以实现互补.目前软件开发中的形式化方法主要是形式化规范说明语言,有Z语言、VDM语言和RAISE语言等.
|
| 关 键 词： | 形式化方法 软件工程 软件开发 |
| 收稿时间： | 2005-01-20 |
| 修稿时间： | 2005年1月20日 |
Formalized Methods in Software Development |
| |
| ZHANG Wei-wei,CHEN Shan.Formalized Methods in Software Development[J].Journal of Zhangjiakou Vocational College of Technology,2005,18(1):54-57. |
| |
| Authors: | ZHANG Wei-wei CHEN Shan |
| |
| Abstract: | The formlized method in software development refers to describing and testing the behavior and character of a target software system,including requirement size,design and implementation and especially establishing a method on a strict math base,which will help understand the described system deeply and correctly and help find and correct mistakes and faults in design.Different forms of formalized method may be complimentary in function.Nowadays,the formalized methods in software development mainly are formalized specification languages, such as Z language,VDM language and RAISE language,etc. |
| |
| Keywords: | formalized method software project software development |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
