泄漏

OOZE:面向对象的Z环境。软泥,代表“面向对象的Z环境”,是一种基于Z.OOZE的符号和风格的通用广谱面向对象语言,支持需求、规范、可解释程序和可编译程序。OOZE系统基于Obj3,并在模块数据库上提供快速原型和定理证明设施。软泥模块可以是通用的,可以分层组织,并且可以用于构造和重用需求、规范或代码。模块可以通过视图链接,这表明细化的关系。可以使用理论精确地指定模块接口。支持抽象数据类型、多重继承、复杂对象、重载和动态绑定。数据类型、对象、类和模块清楚地彼此区分,并且整个语言具有基于排序排序、隐藏排序代数的精确和相对简单的语义。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。