2024年8月21日
星期三
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
袁晓东
作品数:
14
被引量:63
H指数: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语言是一被广泛使用的形式化规格说明语言,该文在其上扩充了时间描述机制Time模式,使之适应于对通信协议的形式化描述,并以流行的YMODEM通信协议为例详细介绍了如何用Z对通信协议进行形式化描述以及在此基础上协议的具体实现方法。
袁晓东
徐殿祥
郑国梁
关键词:
Z规格说明
通信协议
限制VB中字符串输入长度
1998年
对字符串输入长度的限制本是再简单不过的事情,VB中文本输入控件的属性MaxLength就是用来限制字符串输入的最大长度的,只需设一下该属性的值即可,但问题出在VB的字符串长度函数Len上。与其他语言不同的是,VB的函数Len将一个汉字的长度看作是1,...
沈驿梅
袁晓东
关键词:
程序设计语言
VB语言
PASCAL题库系统的设计与实现
被引量:20
1998年
本文介绍了PASCAL题库系统的主要功能、数据结构及其关键性的实现技术,并在有关概率模型和智能搜索理论的基础上提出一种新的随机化启发式搜索算法,成功地解决了多目标随机化自动组卷的困难。
徐娟芬
袁晓东
关键词:
CAI
题库系统
PASCAL
COOZ中的时段演算
被引量:1
1997年
本文在COOZ中引入了连续时间的概念,建立了用连续时间表示的对象时钟引入时段演算来表示对象的实时约束和历史约束,并给出了一个火警自动预报系统的实例描述。文中对实时状态型转化、可积极及孤立点、历史性约束的分类等问题作了进一步的探讨。
袁晓东
陈家骏
关键词:
时段演算
COOZ
面向对象
形式描述语言COOZ的集成支撑环境COOZ-Tools
被引量:1
1999年
介绍支持面向对象的形式描述语言COOZ的集成支撑环境COOZ-Tools的设计原则、系统结构、功能、特点和关键的实现技术。COOZ是Z语言的面向对象扩充,从而将形式化语言和面向对象机制有机结合起来。COOZ-Tools支持基于COOZ的软件开发,它主要由如下工具组成:规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。
袁晓东
胡德强
许皓
李勇
郑国梁
关键词:
形式描述语言
面向对象
COOZ
一种面向对象的形式化设计方法──从COOZ需求规格说明到设计
被引量:1
1998年
本文介绍了一种基于形式化规格说明语言COOZ的面向对象设计方法并给出实例。该方法用COOZ描述类的设计规格说明,实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念:对象类型和类的分开、子类型和继承的分开、灵活的消息传递和参数转换机制、主动对象和被动对象、根类的定义等。
袁晓东
李宣东
郑国梁
关键词:
面向对象
形式化设计
COOZ
软件工程
面向对象方法中的类型概念
被引量:12
1997年
本文讨论了面向对象方法中非常重要的类型概念,指出对象类型由对象集、状态集、运算集、方法集和约束组成,并进一步阐述了对象类型的层次结构、对象的动态类型集和静态类型、对象方法的封闭性以及对象方法的动态定连等问题,为进一步的研究奠定了基础.
袁晓东
陈家骏
郑国梁
关键词:
面向对象
程序设计
OOZE求精技术自动化的探讨
被引量:3
1998年
文中立足于一种Z的面向对象扩充广谱语言OOZE,研究其从软件规格说明到可执行程序求精过程中的自动化技术.重点讨论了数据求精技术,对Z中的几种复合数据类型及其嵌套结构、OOZE中的类结构提出了相应的自动求精规则。
袁晓东
陈家骏
郑国梁
关键词:
OOZE
软件工程
基于角色分类的子类型关系
被引量:12
1997年
事物分类的标准是一个由来已久的话题.文中将事物的特征分为一般特征和本质特征,认为事物应该依据其结构、行为、性质、职能诸方面的本质特征进行分类.使用了角色的概念来综合反映事物各方面的本质特征,并在角色分类的基础上建立了对象类型之间的子类型关系.
袁晓东
陈家骏
郑国梁
关键词:
子类型
面向对象
程序设计
Z的面向对象扩充COOZ的设计
被引量:14
1997年
为了使Z规格说明与面向对象开发方法相结合,本文在Z中扩充了对象类型和模块描述机制,使之成为面向对象的形式化规格说明语言COOZ(completeobject-orientedZ).内容包括COOZ的设计思想、语法定义及说明、形式化语义、实例以及与相关研究工作的比较.
袁晓东
郑国梁
关键词:
Z语言
面向对象
形式化
COOZ
程序设计
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张