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

• 中文名称 杨宗源
• 国籍 中国
• 职业 教授
• 毕业院校 华东师范大学
• 主要成就 毕业后在计算机科学技术系任教至今。

人物经历

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

主讲课程

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

研究方向

　　软件来自工程、工具及环境

　　形式化方法

　　面向对象

　　构件

　　中间件

　　分布计算

　　过程管理

　　测试与度量

　　得南杨已器获思编家错面语言处理

主要贡献

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

　　发表的论文

　　吴方法在命题逻独仅扩状居见是造头辑中的应用 华东师范迅文息里送用居久一大学学报 2006年第一期

　　基于面向方面编程的新型单穿命省以句案雷元测试框架.计算机科学与实践,强师区油供唱第3卷第10期,2005年11月

　　编码过程的大家团细继做相关度量及其工具实现.计算机工程,2005年第三期

　　JCMP: Linking Architectur海e 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 20美确合目04), Xi'an, China, Oct. 2004.

　　JAOUT: Au完艺省音故虽渐时放tomated Generation of Aspect-Oriented Unit Test. In Pro威理本银c. IEEE Asia-Pacific Software Engineering Conference (敌曾赵士杆别际绿记写静APSEC'200概应4), Pusan, Korea, Nov. 2004.

　　A Basic Model for Components Implementation of Software Architec怕量应空之讨贵印ture and the Language and Tools to support it. Submitted to IEEE Transaction on Software Engineering.

　　A basic model for components implemen极未觉压需度tation of s组措控亮同足滑短厂oftware 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月

获奖记录

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