OOZS:一种面向对象的Z语言扩展  

OOZS:AN OBJECT ORIENTED EXTENSION TO Z

作　　者：李刚[1] 朱关铭[1] 

机构地区：[1]上海大学计算机科学系

出　　处：《计算机研究与发展》1997年第10期742-746,共5页Journal of Computer Research and Development

基　　金：上海市高校科技发展基金

摘　　要：在软件开发过程中，面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足．在Ｚ规格说明语言的基础上，作者设计了一种结构化的面向对象形式规格说明语言ＯＯＺＳ，以提高形式规格说明的层次性及模块化能力．本文简要介绍了ＯＯＺＳ语言的设计思想及其面向对象特征．Integrating formal methods and object oriented methods is considered as one of the effective ways to make use of their desirable features in software development. Based on the Z specification language,a structured and object oriented formal specification language OOZS is designed. This paper introduces the basic idea of OOZS and its object oriented features.

关 键 词：面向对象 OOZS语言 Z语言 程序语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]