形式描述语言COOZ的集成支撑环境COOZ-Tools  

The Integrated SUpporting Environment COOZ-Tools for Formal Specification Language COOZ

作　　者：袁晓东[1,2] 胡德强 许皓 李勇[1,2] 郑国梁 

机构地区：[1]南京大学计算机软件新技术国家重点实验室 [2]计算机科学与技术系

出　　处：《计算机工程与设计》1999年第1期38-43,共6页Computer Engineering and Design

基　　金：国家"九五"攻关项目;国家自然科学基金

摘　　要：介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的软件开发，它主要由如下工具组成：规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。This paper introduces the design principles, system architecture, functions, characteristics and key techniques of integrated supporting environment COOZ-Tools which support object-oriented formal description language COOZ. COOZ is an object-oriented extension to Z Language. By this way it combines formal language with object-oriented mechanism. COOZ-Tools supports software development based on COOZ and is mainly composed of the following four tools: specification editor and viewer, syntax and sem- antics checking tool, on-line help system and project management tool.

关 键 词：形式描述语言 面向对象 COOZ COOZ-Tools 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]