刘冬梅

时间:2015-09-21浏览:942设置

姓名

刘冬梅

性别

出生年月

1977.12

职称

副教授

所在部门

计算机科学与技术系

Email

dmliukz@njust.edu.cn

联系电话

025-84315641

通信地址

南京市孝陵卫200号南京理工大学计算机学院

邮编

210094

所属学科

计算机科学与技术,软件工程

博导 □   硕导■

研究方向

自动化测试、形式化方法、Web服务测试

个人简介及研究兴趣

1999年毕业于武汉大学计算机应用专业,2001年毕业于武汉大学计算机系统结构专业,获硕士学位,2004年毕业于武汉大学计算机软件与理论专业,获工学博士学位。20122月至20132月在英国Oxford Brookes大学访问,20142月至20144月在英国Brunel大学访问。主持国家自然科学基金项目1项、参与国家863等多项研究任务,发表论文20余篇。主编教材 “系统分析与设计教程,参与编写教材“UML2软件建模:概念、规范与方法。主要研究领域为基于形式化规约的软件测试、Web服务测试、语义Web服务等。

主讲课程及教学成果

主讲的本科生课程包括软件测试技术、面向对象建模技术、面向对象分析与设计;

主讲的研究生课程包括软件验证与测试、形式化规约与测试;

获校教学成果二等奖、校优秀教材二等奖。

代表性成果

1.Liu, D., Zhu, H., et al. (2015).Automated Testing of Web Services Based on Algebraic Specifications. In Proc. ofSOSE 2015, pp. 143-152.

2.Liu, D., Zhu, H., and Bayley, I. (2014). Transformation of Algebraic Specifications Into Ontological Semantic Descriptions of Web Services, Internal Journal of Services Computing, 2(1), pp. 45-58.

3.Liu, D., Zhu, H., and Bayley, I. (2014). SOFIA: An AlgebraicSpecification Language for Developing Services. In Proc. ofSOSE 2014, pp. 70–75.

4. Liu, D., Zhu, H., and Bayley, I. (2013). From Algebraic FormalSpecification to Ontological Description of Service Semantics. In Proc. ofICWS 2013, pp. 579–586.

5. Liu, D., Zhu, H., and Bayley, I. (2013). A case study on algebraicspecification of cloud computing.In Proc. of PDP 2013, pp.269–273.

6. Liu, D., Zhu, H., and Bayley, I. (2012). Applying algebraic specificationto cloud computing–a case study of infrastructure-as-a-serviceGoGrid. In Proc. of ICSEA 2012, pp. 407–414.

近期在研项目

1. 基于代数规约的Web服务在线测试方法和技术研究,国家自然科学基金

2. 面向Web服务的可信身份认证和版权保护机制,国家自然科学基金项目

3. 大规模多源物联信息融合与储存机理研究,江苏省基础研究计划(自然科学基金)重大专项

4. 区域电网防灾减灾基础信息数据平台及其应用,重庆市电力公司科技项目

返回原图
/