面向对象的形式化规约语言GOOZ  

An Object-oriented Formal Specification Language GOOZ

作　　者：李刚[1] 冯学民[1] 

机构地区：[1]北京航空航天大学计算机系,北京100083

出　　处：《计算机工程》2002年第9期19-20,共2页Computer Engineering

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

关 键 词：面向对象 形式化规约语言 GOOZ语言 软件自动化 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] TP311.1[自动化与计算机技术—计算机科学与技术]