期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
形式描述语言COOZ的集成支撑环境COOZ-Tools 被引量：1
1
作者 袁晓东 胡德强 +2 位作者 许皓 李勇 郑国梁 《计算机工程与设计》 CSCD 北大核心 1999年第1期38-43,共6页
介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌ... 介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的软件开发，它主要由如下工具组成：规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。 展开更多
关键词 形式描述语言 面向对象 cooz cooz-Tools
在线阅读 下载PDF
基于COOZ对UML的类结构的形式化 被引量：5
2
作者 庞军 王云峰 郑国梁 《计算机工程与应用》 CSCD 北大核心 2000年第6期86-89,共4页
为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点。一旦提供了对面向对象模型概念的精确描述后，就可以对OO模型的行为和结构进行清晰的分析。统一模型语言（UML）是为建立统一的面向对象开发方法的有益偿试，它是在已有... 为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点。一旦提供了对面向对象模型概念的精确描述后，就可以对OO模型的行为和结构进行清晰的分析。统一模型语言（UML）是为建立统一的面向对象开发方法的有益偿试，它是在已有的三大OO方法学的基础上抽象出来的模型语言。文章结合作者正在进行的对Z语言的OO扩展COOZ，对UML的类层次结构进行精确的形式化描述。 展开更多
关键词 面向对象 cooz语言 UML语言 类结构 软件开发
在线阅读 下载PDF
Z的面向对象扩充COOZ的设计 被引量：11
3
作者 袁晓东 郑国梁 《软件学报》 EI CSCD 北大核心 1997年第9期694-700,共7页
为了使Z规格说明与面向对象开发方法相结合，本文在Z中扩充了对象类型和模块描述机制，使之成为面向对象的形式化规格说明语言COOZ（completeobject－orientedZ）．内容包括COOZ的设计思想、语法定义及说明、形式化语义、实例以及与相... 为了使Z规格说明与面向对象开发方法相结合，本文在Z中扩充了对象类型和模块描述机制，使之成为面向对象的形式化规格说明语言COOZ（completeobject－orientedZ）．内容包括COOZ的设计思想、语法定义及说明、形式化语义、实例以及与相关研究工作的比较． 展开更多
关键词 Z语言 面向对象 形式化 cooz 程序设计
在线阅读 下载PDF
一种面向对象的形式化设计方法──从COOZ需求规格说明到设计 被引量：1
4
作者 袁晓东 李宣东 郑国梁 《计算机工程与科学》 CSCD 1998年第3期67-76,共10页
本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。该方法用ＣＯＯＺ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念：对象类型和... 本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。该方法用ＣＯＯＺ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念：对象类型和类的分开、子类型和继承的分开、灵活的消息传递和参数转换机制、主动对象和被动对象、根类的定义等。 展开更多
关键词 面向对象 形式化设计 cooz 软件工程
在线阅读 下载PDF
COOZ中的时段演算 被引量：1
5
作者 袁晓东 陈家骏 《软件学报》 EI CSCD 北大核心 1997年第A00期333-333,共1页
本文在ＣＯＯＺ中引入了连续时间的概念，建立了用连续时间表示的对象时钟引入时段演算来表示对象的实时约束和历史约束，并给出了一个火警自动预报系统的实例描述。文中对实时状态型转化、可积极及孤立点、历史性约束的分类等问题作了... 本文在ＣＯＯＺ中引入了连续时间的概念，建立了用连续时间表示的对象时钟引入时段演算来表示对象的实时约束和历史约束，并给出了一个火警自动预报系统的实例描述。文中对实时状态型转化、可积极及孤立点、历史性约束的分类等问题作了进一步的探讨。 展开更多
关键词 时段演算 cooz 面向对象 扩充语言
在线阅读 下载PDF
UML模型到COOZ规约的形式化转换 被引量：4
6
作者 黄春荣 李宣东 郑国梁 《计算机工程与应用》 CSCD 北大核心 2003年第20期89-91,共3页
为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规... 为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规约的推理验证实现。该方法不但为UML提供了精确的形式化语义基础,而且,提供了一种UML模型推理的合理的机制。 展开更多
关键词 统一建模语言UML cooz 面向对象的模型
在线阅读 下载PDF
机器辅助下的形式化规格说明求精技术
7
作者 袁晓东 郑国梁 《计算机科学》 CSCD 北大核心 1998年第6期19-23,共5页
形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精... 形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精逐步精化的过程,逐步降低抽象级,最终得到规格说明的程序实现代码。但现有的精化理论较少考虑机器辅助技术的应用。 展开更多
关键词 形式化规格说明 机器辅助 求精技术 形式语言
在线阅读 下载PDF
一道平几题的三角证法
8
作者 曾仪 《中学数学（江苏）》 1996年第1期35-36,共2页
在[1]、[2]文中有这样一道平几题: 设点P为锐角三角形ABC内任意一点,过P点作三条边的垂线,设垂足分别为D、E、F,求证:S_△PEF≤(1/4)S_△ABC。
关键词 面积公式 几何恒等式 垂足三角形 三角证法 锐角三角形 三角知识 cooz 1988年 1993年
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部