摘要： 在总结和评价现有Z语言面向对象扩充的基础上,设计了一种新的扩充语言 GOOZ,该语言克服了Z++、Object_Z等语言的一些缺点,其书写规约具有简洁、明确、接口定义清晰、模块完整、结构良好、易于验证的特点。

关键词: 面向对象, 形式化规约, GOOZ

Abstract: After summarizing and evaluating those existed formal specification language extended Z, the paper presents an object oriented formal specification language named GOOZ, which is an extension of Z also. GOOZ has many characteristics such as concision, well-defined interface, complete module and so on.

中图分类号: 

• TP311.52