泄漏 swMATH编号： 9494 软件作者： 安东尼奥·阿伦卡尔（Antonio J.Alencar）、约瑟夫·高根（Joseph A.Goguen） 描述： OOZE：面向对象的Z环境。OOZE代表“面向对象的Z环境”，是一种基于Z符号和风格的广义广谱面向对象语言。OOZE支持需求、规范、可解释程序和可编译程序。OOZE系统基于OBJ3，通过模块数据库提供快速原型和定理证明工具。OOZE模块可以是通用的，可以分层组织，可以用于构建和重用需求、规范或代码。模块可以通过视图链接，视图断言细化关系。可以使用理论精确地指定模块接口。支持抽象数据类型、多重继承、复杂对象、重载和动态绑定。数据类型、对象、类和模块之间有着明确的区别，整个语言基于有序、隐藏排序代数具有精确且相对简单的语义。 主页： http://link.springer.com/chapter/10.1007/BFb0057022 相关软件： AGG公司;变身;沟槽;加勒比共同体;OBJ3型 引用于： 3文件 全部的 前5名被7位作者引用 1 哈特穆特·埃里格 1 乌尔里克·戈拉斯 1 霍华德·霍顿 1 洛朗·海诺克 1 莱恩·兰伯斯 1 凯文·拉诺 1 费尔南多·奥雷贾斯 2篇连载文章中引用 1 理论计算机科学 1 RACSAM公司。《科学与自然》Ciencias Exactas皇家科学院修订版。意甲：马特马斯 在4个字段中引用 3 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 一般代数系统（08-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文