ZhengKang Zuo(左正康)关注立即认领分享关注立即认领分享基本信息浏览量:2职业迁徙个人简介暂无内容研究兴趣论文共 15 篇作者统计合作学者相似作者按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选时间引用量主题期刊级别合作者合作机构基于模型驱动的Web服务符号执行与验证王昌晶,陈茜,丁希龙,罗海梅,左正康江西师范大学学报(自然科学版)(2022)引用0浏览0引用00序列折半划分问题的形式化推导左正康,梁赞杨, 苏崴,黄箐,王渊,王昌晶计算机工程与科学(2022)引用0浏览0引用00二叉树队列关系问题非递归算法的推导及形式化证明左正康,方越,黄志鹏,黄箐,王昌晶江西师范大学学报(自然科学版)(2022)引用0浏览0引用00基于模型驱动的Web服务建模与三阶段模型转换方法王昌晶,丁希龙, 陈茜,罗海梅,左正康计算机科学(2022)引用0浏览0引用00一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法王昌晶,余小军, 沈德明,罗海梅,左正康江西师范大学学报(自然科学版)(2020)引用1浏览0引用10模型驱动的Dafny程序形式化生成与自动验证王昌晶, 贺江飞,罗海梅,左正康, 许帆江西师范大学学报(自然科学版)(2020)引用1浏览0引用10Apla与程序设计语言泛型特性比较研究左正康, 刘志豪,黄箐,游珍,王昌晶,石海鹤,胡启敏,陶小明江西师范大学学报(自然科学版)(2019)引用2浏览0引用20WSDL→Radl-WS生成方法及自动转换系统张琦,王昌晶,罗海梅,左正康,石海鹤,郭帆江西师范大学学报(自然科学版)(2018)引用1浏览0引用10泛型编程在面向对象语言中的对比研究周卫星,左正康,王昌晶,石海鹤,游珍,谢武平,陶小明江西师范大学学报(自然科学版)(2018)引用1浏览0引用10一种抽象泛型机制的新型Java实现 田方,石海鹤,左正康,王昌晶,薛锦云江西师范大学学报(自然科学版)(2016)引用0浏览0引用00加载更多作者统计合作学者合作机构D-Core合作者学生导师暂无相似学者,你可以通过学者研究领域进行搜索筛选数据免责声明页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn