泄漏

OOZE:一个面向对象的Z环境。OOZE是“面向对象的Z环境”的缩写,是一种基于Z的符号和风格的广义的面向对象语言。OOZE支持需求、规范、可解释程序和可编译程序。基于oojze的原型系统,提供了一个基于objze的快速验证系统。OOZE模块可以是通用的,可以分层组织,并且可以用于构建和重用需求、规范或代码。模块可以通过视图链接,视图断言细化关系。模块接口可以用理论精确地指定。支持抽象数据类型、多重继承、复杂对象、重载和动态绑定。数据类型、对象、类和模块之间有着明显的区别,整个语言具有基于有序排序、隐藏排序代数的精确且相对简单的语义。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换