学者知网节

【姓名】	黄正宝
【职称】
【研究领域】	计算机软件及计算机应用;互联网技术;
【研究方向】
【发表文献关键词】	网络协议,形式化模型,时序逻辑描述,协议描述,IGMP协议,形式化语义,UML2.0,顺序图,XYZ/E,时序逻辑,线性时序逻辑,状态图,软件体系结构,分析与应用,条件元,时序逻辑语言,交互行为,语法...
【工作单位】	苏州大学
【曾工作单位】	苏州大学;
【所在地域】	苏州

中国期刊全文数据库 共找到3篇

[1]黄正宝;张广泉;.UML 2.0顺序图的XYZ/E时序逻辑语义研究[J]计算机科学.2006,(08)

[2]张广泉;戎玫;黄正宝;.UML 2.0的形式化语义研究[J]南京邮电大学学报(自然科学版).2007,(03)

[3]张广泉,黄正宝,戎玫.网络协议形式化模型的分析与应用[J]计算机工程与应用.2005,(23)

中国优秀硕士学位论文全文数据库 共找到1篇

中国重要会议全文数据库 共找到1篇

[1]黄正宝;张广泉;.一种基于时序逻辑的UML 2．0形式化语义[A].2006年全国理论计算机科学学术年会论文集.2006-08-01

今年新增/文献篇数	核心期刊论文数	基金论文数	第一作者篇数	总被引频次	总下载频次
0/5	2	4	3	69	1133