乌尼日其其格(1979-),女,内蒙古赤峰人,博士生,CCF学生会员,主要研究领域为软件形式化方法,类型系统;李小平(1979-),男,博士,高级工程师,CCF学生会员,主要研究领域为云计算,软件形式化方法;马世龙(1953-),男,博士,教授,博士生导师,主要研究领域为海量信息处理的计算模型,软件工程,形式化方法;吕江花(1975-),女,博士,副教授,CCF专业会员,主要研究领域为软件形式化方法,软件工程,安全苛刻系统自动化测试.
吕江花,E-mail:jhlv@nlsde.buaa.edu.cn
国家自然科学基金(61003016,61300007,61305054);科技部基本科研业务费重点科技创新类项目(YWF-14-JSJXY-007);软件开发环境国家重点实验室自主探索基金(SKLSDE-2012ZX-28,SKLSDE-2014ZX-06)
National Natural Science Foundation of China (61003016, 61300007, 61305054); Base Research Foundation ofMinistry of Science and Technology of China (YWF-14-JSJXY-007); Independent Discovery Foundation of State Key Laboratory ofSoftware Development Environment of China (SKLSDE-2012ZX-28, SKLSDE-2014ZX-06)
乌尼日其其格,李小平,马世龙,吕江花.基于类型理论的领域数据建模和验证及案例.软件学报,2018,29(6):1647-1669
复制