杨宗源，华东师范大学信息科学技术学院计算机科学技术系教授，信息科学技术学院副院长。

中文名

杨宗源

性别

男

国籍

中国

毕业院校

华东师范大学

主要成就

毕业后在计算机科学技术系任教至今。

职务

华东师范大学信息科学技术学院计算机科学技术系教授，信息科学技术学院副院长

获得荣誉

曾获得上海市高校优秀青年教师、上海市育才奖、神童网奖教金、华为奖教金等奖励。

职称

教授

人物经历

1977年进华东师范大学数学系学习，毕业后在计算机科学技术系任教至今。

主讲课程

先后担任过《C语言程序设计》、《Windows应用程序设计》、《编译原理》、《面向对象技术》、《程序设计方法学》、《软件工程、工具与环境》、《软件新技术》等课程的主讲教师，指导过数十名本科生和十多名研究生的毕业论文。

研究方向

软件工程、工具及环境

形式化方法

面向对象

构件

中间件

分布计算

过程管理

测试与度量

语言处理

主要贡献

编写和出版了教材4部，译著一部，其中《并行程序的设计方法》一书获华东地区科技出版社优秀科技图书二等奖。担任上海市计算机学会理事、教育委员会副主任，全国高等师范学校计算机教育研究会理事，上海软件构件化专家指导委员会委员。主持和参加过十多项国家和上海市的科研项目、国际合作项目工作，在国内外核心期刊上发表学术论文20多篇。

发表的论文

吴方法在命题逻辑中的应用 华东师范大学学报 2006年第一期

基于面向方面编程的新型单元测试框架。计算机科学与实践，第3卷第10期,2005年11月

编码过程的相关度量及其工具实现。计算机工程,2005年第三期

JCMP: Linking Architecture with Component Building, In Proc. IEEE Asia-Pacific Software Engineering Conference (APSEC'2004), Pusan, Korea, Nov. 2004.

A Novel Approach to Unit Test: the Aspect-Oriented Way, In Proc. International Symposium on Future Software Technology (ISFST 2004), Xi'an, China, Oct. 2004.

JAOUT: Automated Generation of Aspect-Oriented Unit Test. In Proc. IEEE Asia-Pacific Software Engineering Conference (APSEC'2004), Pusan, Korea, Nov. 2004.

A Basic Model for Components Implementation of Software Architecture and the Language and Tools to support it. Submitted to IEEE Transaction on Software Engineering.

A basic model for components implementation of software architecture ACM SIGSOFT Software Engineering Notes Volume 29, Issue 5(September 2004) Pages: 1-11:Year of Publication: 2004 ISSN:0163-5948

JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit. Proc. IEEE ASE workshop on Formal Approaches to Testing of Software, Montreal, Canada, Oct 2003, also in LNCS vol. 2931. Springer-Verlag, 2004

关系数据库中的视图自适应维护机制。计算机应用研究,2004年第五期

PE 文件格式剖析。计算机应用研究,2004年第三期

JMLAutoTest: A Novel Automatic Testing Framework Based on JML and JUnit. In the Proc. IEEE ASE 2003 workshop on Formal Approaches to Testing of Software (FATES2003) , Montreal, Quebec, Canada, Oct 2003.

基于Agent的自适应设计方法在联合数据库中的应用。计算机应用研究,2003年精扩本

LL(1) 句法分析程序自动生成的研究和实现。计算机应用,2003年6月

软件工程方法的新进展：面向Agent的软件工程。计算机应用研究,2003年第五期

轻载软件开发方法。计算机工程,2003年第一期

求受顶点数限制的最短路径问题的一个算法。计算机工程,2002年第九期

基于框架表示的组件库模型。计算机工程,2002年第七期

基于IP加密的VBIC系统原理及实现。计算机工程,2002年第五期

组件文档研究。计算机应用与软件,2002年第五期

COM的可重用性及其存在的问题。计算机科学99.11

关于计算机软件教学的几点思考。高等教育研究99.7

面向对象机制对软件测试的影响及其对策。微型电脑应用99.6

基于规则的脚本生成技术。微型电脑应用98.7

图式程序设计语言的形式定义和设计问题。理论计算机科学98.4

图式程序内部表示的设计与实现。计算机工程98.1

图式程序设计系统YPS.计算机工程96.12

Windows编程技巧二则。微型电脑应用96.8

著作

《C语言程序设计》 华师大出版社

《并行程序设计方法》科技出版社

《计算机应用基础》 高等教育出版社

《编译原理习题精选分析与解答》 清华大学出版社 2003年7月

《Unix/Linux 编程实践教程》，原著Bruce Molay 清华大学出版社，2004年10月

获奖记录

曾获得上海市高校优秀青年教师、上海市育才奖、神童网奖教金、华为奖教金等奖励。