基于形式化的面向对象开发方法(FMOO)  

FORMAL OBJECT —ORIENTED DEVELOPING METHOD

作　　者：杨红丽[1] 王曙燕 韩俊刚[1] 

机构地区：[1]西安邮电学院计算机系,陕西西安710061

出　　处：《计算机应用》2000年第5期24-27,共4页journal of Computer Applications

基　　金：原邮电部高等院校中青年教师科学基金

摘　　要：主要讨论如何把形式化方法应用于面向对象的软件开发过程中 ,以提高软件的安全性和可靠性 ,并给出一个小型交通控制系统的形式化规范和验证实例。OO is primarily based on diagrams or natural language text, which cannot express precise semantics. Formal methods can not only express rigorous requirement,but also verify completeness and consistency of system. How formal methods can be used into object —oriented development in order to improve safety and dependency of software is considered. Moreover, a case study in specification and verification of Generalized Railroad Crossing (GRC) is given.

关 键 词：面向对象 形式化方法 软件开发 交通控制 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论] U491.54[自动化与计算机技术—计算机科学与技术]