| 基于形式化的面向对象开发方法(FMOO) |
| |
| 引用本文： | 杨红丽,王曙燕,韩俊刚. 基于形式化的面向对象开发方法(FMOO)[J]. 计算机应用, 2000, 20(5): 24-27 |
| |
| 作者姓名： | 杨红丽 王曙燕 韩俊刚 |
| |
| 作者单位： | 西安邮电学院计算机系,陕西,西安,710061 |
| |
| 基金项目： | 原邮电部高等院校中青年教师科学基金 |
| |
| 摘 要： | 主要讨论如何把形式化方法应用于面向对象的软件开发过程中 ,以提高软件的安全性和可靠性 ,并给出一个小型交通控制系统的形式化规范和验证实例。
|
| 关 键 词： | 面向对象 形式化方法 软件开发 交通控制 |
| 修稿时间： | : |
FORMAL OBJECT-ORIENTED DEVELOPING METHOD |
| |
| YANG Hong-li,WANG Shu-yan,HAN Jun-gang. FORMAL OBJECT-ORIENTED DEVELOPING METHOD[J]. Journal of Computer Applications, 2000, 20(5): 24-27 |
| |
| Authors: | YANG Hong-li WANG Shu-yan HAN Jun-gang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
