冯玉琳研究员在软件理论、软件工程技术和方法学方面,已在国际国内学术杂志和会议上发表研究论文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年 |