武汉大学计算机学院博士生导师简介:应时

2017-07-25 12:21:47来源:网络

  考博考生生准备要参加博士研究生考试时,必须要先确定准备攻读博士的相关专业,然后选择该专业有招生需求的学校,接下来应该联系博士生导师,只有当博士生导师同意考生报考,考博生才可以报考。所以提前了解博士生导师的学术文章及联系方式很重要,新东方在线特整理了各招收博士院校博导的简介及联系方式供考博生参考。

  姓名:应时

  主页:

  性别:男

  职称:教授

  学历学位:博士

  电话:027-68776101

  办公地点:

  E-mail:yingshi@whu.edu.cn

  硕/博士生导师:博士生导师

  研究方向:主要的研究方向有面向Web服务的软件开发方法、面向方面的软件开发方法、语义软件开发技术、云计算时代的软件开发方法等。

  1986年毕业于武汉大学计算机科学系并留校工作,1999年武汉大学研究生毕业并获博士学位。

  1986年被聘为武汉大学软件工程国家重点实验室助教,1992年被聘为武汉大学软件工程国家重点实验室讲师,1996年被聘为武汉大学软件工程国家重点实验室副教授,2001年被聘为武汉大学软件工程国家重点实验室教授,2002年被聘为武汉大学软件工程国家重点实验室博士生导师。2000年入选国家教育部高等学校骨干教师资助计划。2003年获湖北省青年杰出人才基金资助。2003年至2008年任武汉大学软件工程国家重点实验室副主任,2008年起任武汉大学软件工程国家重点实验室常务副主任,2009年起担任武汉大学计算机学院副院长。

  教授课程

  每年主讲的课程有《软件系统分析与设计》、《大型应用软件系统开发方法》等。

  发表论文

  [1] Hu Luokai, Ying Shi, Jia Xiangyang, Zhao Kai, A Semantics Based Approach for Cross Domain Access Control, Journal of Internet Technology, 2010, Vol.11 No.2, pp 279-288 [2] 文静, 王怀民, 应时, 等, 支持运行监控的可信软件体系结构设计方法, 计算机学报, 2010, Vol.33 No.12, pp 2321-2334 [3] 倪友聪, 应 时, 张琳琳, 文 静, 叶 鹏, 赵 楷, 一种面向方面软件体系结构中的编织机制研究, 计算机研究与发展, 2010, Vol. 47 No. 4, pp 695-706 [4] 张琳琳, 应时, 倪友聪等, 一种软件体系结构关注点分析方法, 计算机学报, 2009, Vol.32 No.9, pp 1782-1791 [5] 曹虹华, 应时, 杜德慧, 贾向阳, 一种面向语义Web服务的软件设计语言和设计方法, 电子学报, 2007, Vol.35 No.12A, pp 129-135 [6] 熊惠民, 应时, 虞莉娟等, 基于反射的连接器组合重用方法, 软件学报, 2006, Vol.17 No.6, pp 1298-1306 [7] 应时等, 实用化的软件重用方法及其环境, 计算机科学, 1995, Vol.22 No.5, pp 58-60 [8] 应时等, 软件构件的设计与重用, 武汉大学学报(自然科学版), 1996, Vol.42 No.3, pp 305-310 [9] 应时, 陈小萍, 吴闽泉等, 代码组件的动态组合重用方法, 武汉大学学报(自然科学版), 1999, Vol.45 No.5(B), pp 711-715 [10] 应时, 吴霞等, 控件重用技术的成就与缺陷, 小型微型计算机系统, 2000, No.21 No.8, pp 807-810 [11] 应时, 吴霞, 陈小萍等, 代码组件重用支撑环境CCRSE的设计策略, 武汉大学学报(理学版), 2001, Vol.47 No.1, pp 47-51 [12] 应时, 黄发国, 吴霞等, 代码组件的组合重用是一种新的程序设计范型, 小型微型计算机系统, 2001, Vol.22 No.4, pp 478-481 [13] Ying Shi, Xu Gang, Yuan Shengqiong, et al, Code Component Reuse Supporting Environment(CCRSE) and Its Design Strategy, Wuhan University Journal of Natural Sciences, 2003, Vol.8 No.2A, pp 363-367 [14] Zhang Tao, Ying Shi, Cao Sheng, et al, Meta-modeling Service-Oriented Architecture based on UML, Proceeding of the IASTED International Conference on Web Technologies Applications and Services, 2006, pp 137-142 [15] Cao Honghua, Ying Shi, Du Dehui, Towards Verification of BPEL with Model Checking, Proceeding of the IEEE 6th International Conference on Computer and Information Technology, 2006, pp 190-194 [16] Ying Shi, Liang Zaoqing, Wang Junli, et al, A Reflection Mechanism for Reusing Software Architecture, Proceeding of the International Conference on Quality Software, 2006, pp 235-242 [17] Jia Xiangyang, Ying Shi, Wen Jing, Cao Honghua, Modeling Behavior of Dynamic Service-Oriented Architecture with SOADL, Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms, 2007, Vol.14 No.S6, pp 287-292 [18] Jia Xiangyang, Ying Shi, Zhang Tao, Cao Honghua, Xie Dan, A New Architecture Description Language for Service-Oriented Architecture, Proceeding of Sixth International Conference on Grid and Cooperative Computing (GCC 2007), 2007, pp 96 - 103 [19] Ying Shi, Li Xiaojian, Wang Junli, Zheng Ying, Reuse-oriented Software Architecture Design, Proceeding of 2007 International Symposium on Distributed Computing and Applications to Business, Engineering and Science, 2007, pp 24-29 [20] 应时, 文静, 张毅等, 一种面向方面的体系结构描述语言Epoch, 计算机科学, 2007, Vol.34 No.9A, pp 356-357 [21] Ni Youcong, Ying Shi, Wen Jing, Zhang Linlin, Ye Peng, Study on Weaving Process at Software Architectural level, Proceeding of 2008 IEEE Asia-Pacific Services Computing Conference (APSCC 2008), 2008, pp 1574-1577 [22] Zhang Linlin, Ying Shi, Ni Youcong, et al, Towards Multi-Dimensional Separating of NFRs in Software Architecture, Proceeding of the 1st International Conference on Computer Science and Software Engineering (CSSE 2008), 2008, pp 104-107 [23] Wen Jing, Ying Shi, Zhang Linlin, Ni Youcong, AC2-ADL: Architectural Description of Aspect-oriented Systems, International Journal of Software Engineering and Its Applications, 2009, Vol.3 No.1, pp 1-10 [24] 张琳琳, 应时, 倪友聪, 文静等, 一种软件体系结构关注点多维分离模型, 计算机科学, 2009, Vol.36 No.3, pp 266-269 [25] Ni Youcong, Ying Shi, et al, Modeling Aspect-Oriented Software Architecture, International Conference on Industrial and Information Systems (IIS2009), 2009, pp 108-113 [26] 叶鹏, 应时, 袁文杰等, 一种支持软件体系结构重用的元信息模型, 计算机科学, 2009, Vol.36 No.5, pp 145-151 [27] 张琳琳, 应时, 赵楷, 文静, 倪友聪,一种建模软件体系结构非功能属性的方法, 计算机科学, 2009, Vol.36 No.7, pp 92-96 [28] Hu Luokai, Ying Shi, Zhao Kai, Chen Rui, A Semantic Web Service Description Language, International Conference on Information Engineering, 2009, pp 449-452 [29] 文静, 应时, 张琳琳, 倪友聪, 面向方面的体系结构描述语言AC2-ADL, 计算机科学, 2009, Vol.36 No.8, pp 126-132 [30] 罗巨波, 应时, 叶鹏, 一种支持软件体系结构重用的反射机制及其形式化, 计算机科学, 2009, Vol.36 No.8, pp 145-148 [31] 曾志浩, 应时, 陈锐, 赵楷, 朱小刚, 基于语义空间向量模型的语义Web服务匹配排序机制, 计算机科学, 2009, Vol.36 No.9, pp192-196 [32] Jia Xiangyang, Hu Luokai, Ying Shi, Chen Chunlin, Scheduling Active Services in Clustered JBI Environment, First International Conference of Cloud Computing( CloudCom 2009), 2009, pp 413-422 [33] Wu Qing, Ying Shi,et al, The Architecture Framework with Exception Handing in SOA, Applied Mechanics and Materials, Information Technology for Manufacturing Systems,2010, pp 992-997 [34] Wu Qing, Ying Shi,et al, A Service Oriented Architecture Framework Based on Exception Handling Pattern, the 2nd International Conference on Multimedia and Computational Intelligence (ICMCI 2010), 2010, pp 1523-1528 [35] Wang Quanyu, Ying Shi, Jia Xiangyang, SOADL-EH: Service-Oriented Architecture Description Language Supporting Exception Handling,2010 International Conference on Electrical Engineering and Automatic Control , 2010, pp 131-137

  研究课题

  近年来负责的主要科研课题: [1] 面向Web服务的软件开发方法研究, 湖北省青年杰出人才基金(编号:2003ABB004), 2004年1月-2006年12月, 项目主持人 [2] 基于反射机制的软件体系结构重用方法研究,国家自然科学基金(编号:60473066), 2005年1月-2007年12月, 项目主持人 [3] 武汉软件公共服务与技术支撑平台项目监理,2005年1月-2005年7月, 项目主持人 [4] 面向语义Web服务资源的软件设计语言的实现及其应用, 国家863项目(编号:2006AA01Z168),2006年12月-2008年12月, 项目主持人 [5] 软件体系结构的多维关注点建模与Aspect建模, 国家教育部博士点基金项目(编号:20060486045), 2007年1月-2009年12月, 项目主持人 [6]面向方面的软件体系结构设计方法研究, 国家自然科学基金(编号:60773006),2008年1月-2010年12月, 项目主持人 [7] 支持OWL-S需求规约演化的反射机制研究, 国家973项目需求工程--对复杂系统的软件工程的基础研究(编号:2007CB310800)的子课题, 2007年7月-2011年8月, 子课题负责人 [8] 基于框架的面向服务软件异常处理方法研究,国家自然科学基金(编号:61070012/F020202),2011年1月-2013年12月,项目主持人

  研究团队

  已指导博士生30名、硕士生60多名。

  获奖信息

  曾获得国家科技进步二等奖、湖北省科技进步一等奖、湖北省自然科学优秀学术论文二等奖、湖北省科技进步二等奖、湖北省科技进步三等奖、武汉市科技进步三等奖。

通用考博英语精品课程【节选】-1元领!

摸清考试命脉,有技巧有方法有准备地进入到考博英语中。

适用人群:对考博英语茫然不知如何下手,想通过考博英语的学子们。

关注新东方在线服务号

回复【考博真题】领取备考必看真题集

更多资料
更多>>
更多内容
更多>>
更多好课>>
更多>>
更多资料