袁晓东
【姓名】 袁晓东
【职称】
【研究领域】 计算机软件及计算机应用;电信技术;
【研究方向】
【发表文献关键词】 对象类型,扩充,规格说明,并发对象,Z语言,面向对象,COOZ,形式化,闭性,子类型,Z规格说明,并发,通信协议,YMODEM,形式化描述,动态类型,方法模式,动态定连,形式化语义,类型参数,父类,状...
【工作单位】 南京大学
【曾工作单位】 南京大学;
【所在地域】 南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/5 5 3 4 40 233
中国期刊全文数据库    共找到5篇
[1]陈家骏,袁晓东,郑国梁.并发对象的一种描述机制[J]计算机应用与软件.2001,(05)
[2]袁晓东,陈家骏,郑国梁.面向对象方法中的类型概念[J]计算机研究与发展.1997,(10)
[3]袁晓东,郑国梁.Z的面向对象扩充COOZ的设计[J]软件学报.1997,(09)
[4]袁晓东;许皓;胡德强;李勇;郑国梁;.现有Z面向对象扩充语言的比较[J]计算机科学.1997,(03)
[5]袁晓东,徐殿祥,郑国梁.Z应用于通信协议形式化描述的研究[J]计算机工程与应用.1998,(11)
更多