郑国梁
【姓名】 郑国梁
【职称】 教授;
【研究领域】 计算机软件及计算机应用;计算机硬件技术;非线性科学与系统科学;
【研究方向】 软件工程
【发表文献关键词】 模型检验算法,时间自动机,形式化方法,共享变量,自动机网络,MDA,MDT,PIM,PSM,PIT,PST,测试用例生成,模型驱动,实时系统,状态空间,J2EE,实体Beans,符号化,Web应用,S...
【工作单位】 南京大学
【曾工作单位】 南京大学;
【所在地域】 南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/89 83 59 6 1245 15630
中国期刊全文数据库    共找到87篇
[1]胡军;于笑丰;张岩;李宣东;郑国梁;.基于场景构件式实时软件设计的一致性检验[J]软件学报.2006,(01)
[2]胡军;于笑丰;张岩;王林章;李宣东;郑国梁;.基于场景规约的构件式系统设计分析与验证[J]计算机学报.2006,(04)
[3]陈铭松;赵建华;李宣东;郑国梁;.时间自动机可达性分析中的状态空间约减技术综述[J]计算机科学.2006,(06)
[4]姜泉;赵建华;李宣东;郑国梁;.针对应用系统ER模型的MDA模型转换方法[J]计算机科学.2006,(07)
[5]雷斌;王林章;李宣东;郑国梁;.SDT:一个面向场景规约的运行时测试工具[J]计算机科学.2006,(01)
[6]吴光;赵建华;李宣东;郑国梁;.从EDOC的业务过程建模到J2EE应用程序框架的MDA转换[J]计算机科学.2006,(04)
[7]邱晓康;陈铭松;王林章;李宣东;郑国梁;.UML行为图驱动的Java程序运行时验证工具[J]计算机科学.2007,(12)
[8]肖舒;赵建华;李宣东;郑国梁;.J2EE平台上的所见即所得的HTML电子表格工具的设计[J]计算机科学.2007,(12)
[9]黄春荣,李宣东,郑国梁.UML模型到COOZ规约的形式化转换[J]计算机工程与应用.2003,(20)
[10]李勇,李宣东,郑国梁.检验实时系统的有序时段性质[J]南京大学学报(自然科学版).2003,(05)
更多
承担国家科研项目    共找到1个
[1]郑国梁;.UML模型分析技术和支撑工具的研究[A].南京大学;.项目经费 22万元.2002-03-31.资助文献数 2 篇
更多