一、基本信息
姓名: 冯玉琳
职务:
职称: 首席研究员
性别:
联系电话: 010-62630989-207
电子邮件: feng(at)otcaix.iscas.ac.cn
所在部门: 软件工程技术研究开发中心
通讯地址: 北京中关村南四街4号(北京8718信箱)
邮政编码: 100190
个人主页:
二、目前主要研究方向及简介
面向对象技术和系统
组合式软件工程和软件重用
分布式网络计算体系结构和系统
交互计算的形式语义理论
系统形式规范和模型验证
三、学习经历
四、工作经历
1986-1992年,在中国科技技术大学任教授,博士生导师。
1992年调任中国科学院软件研究所,曾任中科院软件研究所所长,中科院软件所对象技术中心主任研究员。
五、社会兼职
中国科技大学研究生院兼职教授,《软件学报》主编,国际IFIP TCI(理论)中国代表,中国软件行业协会副理事长,中国计算机学会常务理事。
六、研究成果与获奖情况
    在计算机软件理论和设计方法学的研究中,成绩显著,曾获得部(省)级优秀论文奖、优秀教学奖和科技进步奖。1991年被国家教委和国务院学位委员会授予“做出突出贡献的中国博士学位获得者”。
  从90年代开始,在国内开展组合式软件体系结构和软件工程的研究,先后主持或联合主持国家自然科学基金重点项目“软件生产自动化中的新理论和”,“组合软件理论和方法学研究”;国家863高技术重点项目“若干网络的软件支撑平台和集成框架”;国家九五科技重点攻关项目“石化应用软件典型示范工程及产品开发”;一级有关电子商务基础系统设施的项目等,研究成果受到国内外同行的广泛重视。
七、代表论著
冯玉琳研究员在软件理论、软件工程技术和方法学方面,已在国际国内学术杂志和会议上发表研究论文70余篇。
【近期发表的部分论文】
[1] E. Clarke and Y. Feng, Escher - a geometrical layout system for recursively defined circuits, IEEE Trans. on Computer Aided Design, Vol.7,No.8,1988,908-918
[2] Yulin Feng, Hierarchical protocol analysis by temporal logic, J. of Comp. Sci & Technol., Vol.3, No.1, 1988
[3] Zhao Xudong and Feng Yulin, Automatic and hierarchical verification for concurrent systems, J. of Comp. Sci & Technol., Vol.5, No.3, 1990
[4] Yulin Feng and Junbo Liu, Temporal approach to algebraic specifications, in J.Baeten, J.Klop eds, Theories of Concurrency,LNCS458, Springer Verlag, 1990
[5] Feng Yulin, Huang Tao and Li Jing, LogC: a language and environment for embedded rule based systems, ACM SIGPLAN NOTICES, Vol.27, No.11, 1992
[6] 冯玉琳,李京,对象语义和行为约束推理 计算机学报,Vol.16, No.11, 1993
[7] 黄涛,冯玉琳,李京,对象模型语义研究 软件学报,Vol.6, Supplement, 1995
[8] 冯玉琳,黄涛,李京,面向对象的软件构造 软件学报,Vol.7,No.3,1996
[9] 冯玉琳,黄涛,武小鹏,面向对象的组合软件工程研究 计算机学报,Vol.19,No.3,1996
[10] Yulin Feng, Object oriented technology: the perspective and the future, Keyno Speech, Intl. Symp. on Future Software Technology(ISFST-96),Xi'an, Oct. 1996
[11] Yulin Feng, Component software engineering in object orientation, Intl. Workshop on Object Oriented Software develop., Schloss Dagstuhl, Germany, 1997
[12] Bin Ni and Yulin Feng, Component software engineering in object orientation Intl. Workshop on Object Oriented Software Development, Schloss Dagstuhl, Germany, April 1997
[13] Bin Ni and Yulin Feng, Exploiting abstraction to check semantic constraints for JAVA Beans IFIP'98 Congress, Vienna & Budapest, August 1998
[14] 倪彬,冯玉琳,黄涛,基于T3BDD的动态模型检查,软件学报,Vol.10, No.10, 1999
[15] Qian Jun, Huang Tao and Feng Yulin, Component construction model and interactive computation semantics for object systems, IFIP2000 Comgress, Beijing 2000
[16] Huan Zhou, Jing Li and Yulin Feng, Improving cach consistency for mobile Web browsing, IFIP2000 Comgress, Beijing, 2000
发表著作《程序设计方法学》(1985),《软件工程——方法、工具和实践》(1988)和《对象技术导论》(1998)等共5部
【代表著作】
1.《程序设计方法学》,北京科技出版社,1985年
2.《软件工程——方法、工具和实现》,中国科技大学出版社,1988年
3.《对象技术导论》,科学出版社,1998年
八、承担项目