摘要
主要讨论如何把形式化方法应用于面向对象的软件开发过程中 ,以提高软件的安全性和可靠性 ,并给出一个小型交通控制系统的形式化规范和验证实例。
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.
出处
《计算机应用》
CSCD
2000年第5期24-27,共4页
journal of Computer Applications
基金
原邮电部高等院校中青年教师科学基金
关键词
面向对象
形式化方法
软件开发
交通控制
Object —oriented
formal methods
formal specification
formal verification