摘要
文中讨论了形式方法和面向对象方法各自的优缺点，结合作者设计的面向对象形式规格说明语言OOZS，介绍了将这两种方法结合起来的三种途径，并对这三种途径进行了分析、评价和对比，最后提出了今后的研究方向。
The advantages and drawbacks of both formal methods and object-roriented methods are discussed in theis paper.Three kinds of techniques of integrating those two methods are presented and ecaluated. An object-oriented formal specification language named OOZS has also been introduced in this paper, then several problems about the integrated methods are discussed.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
1998年第1期13-16,69,共5页
Computer Engineering
基金
国家863高技术计划资助!863-306-05-09-16
上海市高校科技发展基金!97A42
关键词
规格说明语言
形式方法
面向对象
软件开发
Software engineering
Specification language
Formal methods
Object-oriented methods
