您的位置： 专家智库 > >

袁晓东

作品数：14 被引量：63H指数：5
供职机构：南京大学计算机科学与技术系更多>>
发文基金：国家自然科学基金“九五”国家科技攻关计划更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 14篇中文期刊文章

领域

  • 13篇自动化与计算...
  • 1篇文化科学

主题

  • 8篇面向对象
  • 5篇形式化
  • 5篇程序设计
  • 4篇COOZ
  • 4篇Z
  • 2篇形式化描述
  • 2篇软件工程
  • 2篇通信
  • 2篇通信协议
  • 2篇Z规格说明
  • 2篇Z语言
  • 1篇形式化规格说...
  • 1篇形式化设计
  • 1篇形式描述语言
  • 1篇形式语言
  • 1篇需求规格说明
  • 1篇设计语言
  • 1篇时段演算
  • 1篇题库
  • 1篇题库系统

机构

  • 14篇南京大学
  • 3篇电力部

作者

  • 14篇袁晓东
  • 10篇郑国梁
  • 5篇陈家骏
  • 2篇徐殿祥
  • 1篇徐娟芬
  • 1篇李宣东
  • 1篇许皓
  • 1篇胡德强
  • 1篇沈驿梅
  • 1篇李勇
  • 1篇李勇

传媒

  • 3篇计算机研究与...
  • 2篇计算机应用
  • 2篇软件学报
  • 2篇计算机科学
  • 1篇计算机工程与...
  • 1篇计算机应用与...
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇电子与自动化...

年份

  • 1篇2001
  • 1篇1999
  • 6篇1998
  • 6篇1997
共 14 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
Z应用于通信协议形式化描述的研究被引量：1
1998年
Ｚ语言是一被广泛使用的形式化规格说明语言，该文在其上扩充了时间描述机制Ｔｉｍｅ模式，使之适应于对通信协议的形式化描述，并以流行的ＹＭＯＤＥＭ通信协议为例详细介绍了如何用Ｚ对通信协议进行形式化描述以及在此基础上协议的具体实现方法。
袁晓东徐殿祥郑国梁
关键词：Z规格说明通信协议
限制VB中字符串输入长度
1998年
对字符串输入长度的限制本是再简单不过的事情，ＶＢ中文本输入控件的属性ＭａｘＬｅｎｇｔｈ就是用来限制字符串输入的最大长度的，只需设一下该属性的值即可，但问题出在ＶＢ的字符串长度函数Ｌｅｎ上。与其他语言不同的是，ＶＢ的函数Ｌｅｎ将一个汉字的长度看作是１，...
沈驿梅袁晓东
关键词：程序设计语言VB语言
PASCAL题库系统的设计与实现被引量：20
1998年
本文介绍了ＰＡＳＣＡＬ题库系统的主要功能、数据结构及其关键性的实现技术，并在有关概率模型和智能搜索理论的基础上提出一种新的随机化启发式搜索算法，成功地解决了多目标随机化自动组卷的困难。
徐娟芬袁晓东
关键词：CAI题库系统PASCAL
COOZ中的时段演算被引量：1
1997年
本文在ＣＯＯＺ中引入了连续时间的概念，建立了用连续时间表示的对象时钟引入时段演算来表示对象的实时约束和历史约束，并给出了一个火警自动预报系统的实例描述。文中对实时状态型转化、可积极及孤立点、历史性约束的分类等问题作了进一步的探讨。
袁晓东陈家骏
关键词：时段演算COOZ面向对象
形式描述语言COOZ的集成支撑环境COOZ-Tools被引量：1
1999年
介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的软件开发，它主要由如下工具组成：规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。
袁晓东胡德强许皓李勇郑国梁
关键词：形式描述语言面向对象COOZ
一种面向对象的形式化设计方法──从COOZ需求规格说明到设计被引量：1
1998年
本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。该方法用ＣＯＯＺ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念：对象类型和类的分开、子类型和继承的分开、灵活的消息传递和参数转换机制、主动对象和被动对象、根类的定义等。
袁晓东李宣东郑国梁
关键词：面向对象形式化设计COOZ软件工程
面向对象方法中的类型概念被引量：12
1997年
本文讨论了面向对象方法中非常重要的类型概念，指出对象类型由对象集、状态集、运算集、方法集和约束组成，并进一步阐述了对象类型的层次结构、对象的动态类型集和静态类型、对象方法的封闭性以及对象方法的动态定连等问题，为进一步的研究奠定了基础．
袁晓东陈家骏郑国梁
关键词：面向对象程序设计
OOZE求精技术自动化的探讨被引量：3
1998年
文中立足于一种Ｚ的面向对象扩充广谱语言ＯＯＺＥ，研究其从软件规格说明到可执行程序求精过程中的自动化技术．重点讨论了数据求精技术，对Ｚ中的几种复合数据类型及其嵌套结构、ＯＯＺＥ中的类结构提出了相应的自动求精规则。
袁晓东陈家骏郑国梁
关键词：OOZE软件工程
基于角色分类的子类型关系被引量：12
1997年
事物分类的标准是一个由来已久的话题．文中将事物的特征分为一般特征和本质特征，认为事物应该依据其结构、行为、性质、职能诸方面的本质特征进行分类．使用了角色的概念来综合反映事物各方面的本质特征，并在角色分类的基础上建立了对象类型之间的子类型关系．
袁晓东陈家骏郑国梁
关键词：子类型面向对象程序设计
Z的面向对象扩充COOZ的设计被引量：14
1997年
为了使Z规格说明与面向对象开发方法相结合，本文在Z中扩充了对象类型和模块描述机制，使之成为面向对象的形式化规格说明语言COOZ（completeobject－orientedZ）．内容包括COOZ的设计思想、语法定义及说明、形式化语义、实例以及与相关研究工作的比较．
袁晓东郑国梁
关键词：Z语言面向对象形式化COOZ程序设计
全选 清除 导出
共2页<12>
聚类工具0