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

• 作者: 冯学民 李刚
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 面向对象 形式化规约 GOOZ
• 年，卷（期）: 2002,（9）
• 所属期刊栏目: 博士论文
• 页码范围: 19-20
• 页数: 2页
• 分类号: TP311.1
• 字数: 2063字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2002.09.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李刚	北京航空航天大学计算机系	19	497	10.0	19.0
2	冯学民	北京航空航天大学计算机系	3	41	2.0	3.0