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

作     者：袁晓东 胡德强 许皓 李勇 郑国梁 

作者机构：南京大学计算机软件新技术国家重点实验室 计算机科学与技术系 

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

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：1999年第20卷第1期

页      码：38-43页

摘      要：介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的软件开发，它主要由如下工具组成：规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。

主 题 词：形式描述语言 面向对象 COOZ COOZ-Tools 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.16208/j.issn1000-7024.1999.01.008

馆 藏 号：203134849...