袁晓东

作品数：14被引量：42H指数：5
导出分析报告
供职机构：南京大学计算机科学与技术系更多>>
发文主题：面向对象程序设计ZCOOZZ语言更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《计算机研究与发展》《软件学报》《计算机工程与设计》《计算机工程与应用》更多>>
所获基金：国家自然科学基金“九五”国家科技攻关计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
并发对象的一种描述机制
《计算机应用与软件》2001年第5期38-42,48,共6页陈家骏 袁晓东 郑国梁 
面向对象模型潜在的并发计算能力为并发程序设计提供了更高层次的解决方案。为了充分利用这种潜在的并发执行能力,必须在对象模型中显式地给出并发控制。本文给出了一种描述并发对象的机制,即:把对象的并发控制作为对象的单独属性进行描...
关键词：面向对象 并发对象 程序设计 封装 消息处理 
形式描述语言COOZ的集成支撑环境COOZ-Tools被引量：1
《计算机工程与设计》1999年第1期38-43,共6页袁晓东 胡德强 许皓 李勇 郑国梁 
国家"九五"攻关项目;国家自然科学基金
介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌ...
关键词：形式描述语言 面向对象 COOZ COOZ-Tools 
限制VB中字符串输入长度
《计算机应用》1998年第9期59-60,共2页沈驿梅 袁晓东 
对字符串输入长度的限制本是再简单不过的事情，ＶＢ中文本输入控件的属性ＭａｘＬｅｎｇｔｈ就是用来限制字符串输入的最大长度的，只需设一下该属性的值即可，但问题出在ＶＢ的字符串长度函数Ｌｅｎ上。与其他语言不同的是，ＶＢ的函...
关键词：程序设计语言 VB语言 字符串输入长度 
Z应用于通信协议形式化描述的研究
《计算机工程与应用》1998年第11期26-28,共3页袁晓东 徐殿祥 郑国梁 
Ｚ语言是一被广泛使用的形式化规格说明语言，该文在其上扩充了时间描述机制Ｔｉｍｅ模式，使之适应于对通信协议的形式化描述，并以流行的ＹＭＯＤＥＭ通信协议为例详细介绍了如何用Ｚ对通信协议进行形式化描述以及在此基础上协议的具...
关键词：Z规格说明 形式 通信协议 YMODEM协议 
PASCAL题库系统的设计与实现被引量：12
《计算机应用》1998年第6期16-19,共4页徐娟芬 袁晓东 
本文介绍了ＰＡＳＣＡＬ题库系统的主要功能、数据结构及其关键性的实现技术，并在有关概率模型和智能搜索理论的基础上提出一种新的随机化启发式搜索算法，成功地解决了多目标随机化自动组卷的困难。
关键词：CAI 题库系统 PASCAL 设计 
机器辅助下的形式化规格说明求精技术
《计算机科学》1998年第6期19-23,共5页袁晓东 郑国梁 
国家九五攻关项目;国家自然科学基金
形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精...
关键词：形式化规格说明 机器辅助 求精技术 形式语言 
一种面向对象的形式化设计方法──从COOZ需求规格说明到设计被引量：1
《计算机工程与科学》1998年第3期67-76,共10页袁晓东 李宣东 郑国梁 
国家九五攻关项目;国家自然科学基金
本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。该方法用ＣＯＯＺ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念：对象类型和...
关键词：面向对象 形式化设计 COOZ 软件工程 
OOZE求精技术自动化的探讨被引量：1
《计算机研究与发展》1998年第2期173-177,共5页袁晓东 陈家骏 郑国梁 
国家"九五"攻关项目;国家自然科学基金
文中立足于一种Ｚ的面向对象扩充广谱语言ＯＯＺＥ，研究其从软件规格说明到可执行程序求精过程中的自动化技术．重点讨论了数据求精技术，对Ｚ中的几种复合数据类型及其嵌套结构、ＯＯＺＥ中的类结构提出了相应的自动求精规则。
关键词：OOZE 数据求精 操作求精 软件工程 
基于角色分类的子类型关系被引量：6
《计算机研究与发展》1997年第11期822-827,共6页袁晓东 陈家骏 郑国梁 
国家"九五"攻关项目;国家自然科学基金
事物分类的标准是一个由来已久的话题．文中将事物的特征分为一般特征和本质特征，认为事物应该依据其结构、行为、性质、职能诸方面的本质特征进行分类．使用了角色的概念来综合反映事物各方面的本质特征，并在角色分类的基础上建立了...
关键词：对象类型 子类型 角类分类 面向对象 程序设计 
面向对象方法中的类型概念被引量：10
《计算机研究与发展》1997年第10期726-730,共5页袁晓东 陈家骏 郑国梁 
国家"九五"攻关项目;国家自然科学基金
本文讨论了面向对象方法中非常重要的类型概念，指出对象类型由对象集、状态集、运算集、方法集和约束组成，并进一步阐述了对象类型的层次结构、对象的动态类型集和静态类型、对象方法的封闭性以及对象方法的动态定连等问题，为进一步...
关键词：对象类型 封闭性 类型 面向对象 程序设计 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部