| 维也纳分析方法及其应用 |
| |
| 引用本文： | 曹重华,白似雪,杨锦云.维也纳分析方法及其应用[J].南昌大学学报(理科版),2005,29(1):99-102. |
| |
| 作者姓名： | 曹重华 白似雪 杨锦云 |
| |
| 作者单位： | 1. 南昌大学,计算机系,江西,南昌,330029
2. 江西省机械职工大学,江西,南昌,330000 |
| |
| 摘 要： | 介绍了软件开发方法中的一种形式化分析方法：Vienna Development Method(VDM)。阐述了形式化分析方法的特点，具体说明了维也纳分析方法规格说明的两种规范：模块化说明与非模块化说明，及程序证明性依据：基于函数与操作的形式化规格说明。然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。
|
| 关 键 词： | VDM 维也纳分析方法 程序证明 软件开发方法 |
| 文章编号： | 1006-0464(2005)01-0099-04 |
VIENNA DEVELOPMENT METHOD AND ITS APPLICATION |
| |
| CAO Chong-hua,BAI Si-xue,YANG Jin-yun.VIENNA DEVELOPMENT METHOD AND ITS APPLICATION[J].Journal of Nanchang University(Natural Science),2005,29(1):99-102. |
| |
| Authors: | CAO Chong-hua BAI Si-xue YANG Jin-yun |
| |
| Institution: | CAO Chong-hua~1,BAI Si-xue~1,YANG Jin-yun~2 |
| |
| Abstract: | This paper introduces a formalized analysis method for software development: Vienna Development Method(VDM). It accounts for the character of Vienna Development Method. Then, it explains in detail two specification of Vienna Development Method: module and Non-module formalized specification and the foundation of testifying mechanism: function and operation formalized specification. Furthermore, It illuminates how to use VDM technology to develop program, and program testifying with function and operation formational specification with a instance. |
| |
| Keywords: | VDM vienna development method program testifying software developing method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
