COOZ

作品数：7被引量：20H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：郑国梁袁晓东王云峰李宣东庞军更多>>
相关机构：南京大学浙江大学电力部中国科学技术大学更多>>
相关期刊：《软件学报》《计算机工程与设计》《计算机工程与应用》《中学数学月刊》更多>>
相关基金：国家自然科学基金“九五”国家科技攻关计划江苏省自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
UML模型到COOZ规约的形式化转换被引量：4
《计算机工程与应用》2003年第20期89-91,共3页黄春荣 李宣东 郑国梁 
国家自然科学基金资助(编号:60073031);国家863高技术研究发展计划资助(编号:2001AA113203);江苏省自然科学基金资助(编号:BK2001033)
为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规...
关键词：统一建模语言UML COOZ 面向对象的模型 
基于COOZ对UML的类结构的形式化被引量：5
《计算机工程与应用》2000年第6期86-89,共4页庞军 王云峰 郑国梁 
国家自然科学基金!69673006;"九五"攻关项目!98-780-01-07-06
为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点。一旦提供了对面向对象模型概念的精确描述后，就可以对OO模型的行为和结构进行清晰的分析。统一模型语言（UML）是为建立统一的面向对象开发方法的有益偿试，它是在已有...
关键词：面向对象 COOZ语言 UML语言 类结构 软件开发 
形式描述语言COOZ的集成支撑环境COOZ-Tools被引量：1
《计算机工程与设计》1999年第1期38-43,共6页袁晓东 胡德强 许皓 李勇 郑国梁 
国家"九五"攻关项目;国家自然科学基金
介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌ...
关键词：形式描述语言 面向对象 COOZ COOZ-Tools 
一种面向对象的形式化设计方法──从COOZ需求规格说明到设计被引量：1
《计算机工程与科学》1998年第3期67-76,共10页袁晓东 李宣东 郑国梁 
国家九五攻关项目;国家自然科学基金
本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。该方法用ＣＯＯＺ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念：对象类型和...
关键词：面向对象 形式化设计 COOZ 软件工程 
Z的面向对象扩充COOZ的设计被引量：11
《软件学报》1997年第9期694-700,共7页袁晓东 郑国梁 
国家自然科学基金;国家"九五"攻关项目
为了使Z规格说明与面向对象开发方法相结合，本文在Z中扩充了对象类型和模块描述机制，使之成为面向对象的形式化规格说明语言COOZ（completeobject－orientedZ）．内容包括COOZ的设计思想、语法定义及说明、形式化语义、实例以及与相...
关键词：Z语言 面向对象 形式化 COOZ 程序设计 
COOZ中的时段演算被引量：1
《软件学报》1997年第A00期333-333,共1页袁晓东 陈家骏 
本文在ＣＯＯＺ中引入了连续时间的概念，建立了用连续时间表示的对象时钟引入时段演算来表示对象的实时约束和历史约束，并给出了一个火警自动预报系统的实例描述。文中对实时状态型转化、可积极及孤立点、历史性约束的分类等问题作了...
关键词：时段演算 COOZ 面向对象 扩充语言 
一道平几题的三角证法
《中学数学（江苏）》1996年第1期35-36,共2页曾仪 
在[1]、[2]文中有这样一道平几题: 设点P为锐角三角形ABC内任意一点,过P点作三条边的垂线,设垂足分别为D、E、F,求证:S_△PEF≤(1/4)S_△ABC。
关键词：面积公式 几何恒等式 垂足三角形 三角证法 锐角三角形 三角知识 COOZ 1988年 1993年 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部