| 形式描述语言COOZ的集成支撑环境COOZ—Tools |
| |
| 引用本文： | 袁晓东,胡德强.形式描述语言COOZ的集成支撑环境COOZ—Tools[J].计算机工程与设计,1999,20(1):38-43. |
| |
| 作者姓名： | 袁晓东 胡德强 |
| |
| 作者单位： | 南京大学计算机软件新技术国家重点实验室，计算机科学与技术系 |
| |
| 基金项目： | 国家“九五”攻关项目,国家自然科学基金 |
| |
| 摘 要： | 介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的软件开发，它主要由如下工具组成：规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。
|
| 关 键 词： | 形式描述语言 面向对象 COOZ COOZ－Tools |
The Integrated SUpporting Environment COOZ-Tools for Formal Specification Language COOZ |
| |
| Yuan Xiaodong,Hu Deqiang, Xu Hao, Li Yong, Zheng Guoliang.The Integrated SUpporting Environment COOZ-Tools for Formal Specification Language COOZ[J].Computer Engineering and Design,1999,20(1):38-43. |
| |
| Authors: | Yuan Xiaodong Hu Deqiang Xu Hao Li Yong Zheng Guoliang |
| |
| Abstract: | |
| |
| Keywords: | Formal specification language Object-oriented COOZ Supporting environment |
| 本文献已被 CNKI 维普 等数据库收录！ |
