文献详情


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

外文标题	An Object-oriented Formal Specification Language GOOZ
文献类型	期刊
作者	李刚[1];冯学民[2]
机构	[1]北京航空航天大学计算机系,北京航空航天大学计算机系 北京100083,北京100083 [2]北京航空航天大学计算机系,北京航空航天大学计算机系 北京100083,北京100083 ↓
来源信息	年:2002卷:28期:9页码范围:19-20
期刊信息	计算机工程ISSN:1000-3428
关键词	面向对象;形式化规约;GOOZ
摘要	在总结和评价现有Z语言面向对象扩充的基础上,设计了一种新的扩充语言GOOz,该语言克服了z++、Object Z等语言的一些缺点,其书写规约具有简洁、明确、接口定义清晰、模块完整、结构良好、易于验证的特点.
收录情况	PKUCSCD
所属部门	计算机学院
链接地址	http://d.g.wanfangdata.com.cn/Periodical_jsjgc200209008.aspx
DOI	10.3969/j.issn.1000-3428.2002.09.008

全文|
影响因子：


暂无成果共有人
dc:title:面向对象的形式化规约语言GOOZ
dc:creator:李刚;冯学民
dc:date: publishDate:2002-09-20
dc:type:期刊
dc:format: Media：计算机工程
dc:identifier: LnterrelatedLiterature：计算机工程.2002,28(9),19-20.
dc:identifier:DOI：10.3969/j.issn.1000-3428.2002.09.008
dc: identifier:ISBN:1000-3428