杨宗源

华东师范大学
信息科学技术学院
计算机科学技术系

电话：021－62233447
E-mail：
地址：上海市中山北路3663号理科大楼A607
邮编：200062

杨宗源，华东师范大学信息科学技术学院计算机科学技术系教授，信息科学技术学院副院长。1977年进华东师范大学数学系学习，毕业后在计算机科学技术系任教至今。先后担任过《C语言程序设计》、《Windows应用程序设计》、《编译原理》、《面向对象技术》、《程序设计方法学》、《软件工程、工具与环境》、《软件新技术》等课程的主讲教师，指导过数十名本科生和十多名研究生的毕业论文。编写和出版了教材4部，译著一部，其中《并行程序的设计方法》一书获华东地区科技出版社优秀科技图书二等奖。担任上海市计算机学会理事、教育委员会副主任，全国高等师范学校计算机教育研究会理事，上海软件构件化专家指导委员会委员。曾获得上海市高校优秀青年教师、上海市育才奖、神童网奖教金、华为奖教金等奖励。主持和参加过十多项国家和上海市的科研项目、国际合作项目工作，在国内外核心期刊上发表学术论文20多篇。

主要研究方向

发表论文

  1. 吴方法在命题逻辑中的应用 华东师范大学学报 2006年第一期
  2. 基于面向方面编程的新型单元测试框架.计算机科学与实践,第3卷第10期,2005年11月
  3. 编码过程的相关度量及其工具实现.计算机工程,2005年第三期
  4. JCMP: Linking Architecture with Component Building, In Proc. IEEE Asia-Pacific Software Engineering Conference (APSEC'2004), Pusan, Korea, Nov. 2004.
  5. 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.
  6. JAOUT: Automated Generation of Aspect-Oriented Unit Test. In Proc. IEEE Asia-Pacific Software Engineering Conference (APSEC'2004), Pusan, Korea, Nov. 2004.
  7. A Basic Model for Components Implementation of Software Architecture and the Language and Tools to support it. Submitted to IEEE Transaction on Software Engineering.
  8. 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
  9. 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
  10. 关系数据库中的视图自适应维护机制.计算机应用研究,2004年第五期
  11. PE 文件格式剖析.计算机应用研究,2004年第三期
  12. 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.
  13. 基于Agent的自适应设计方法在联合数据库中的应用.计算机应用研究,2003年精扩本
  14. LL(1) 句法分析程序自动生成的研究和实现.计算机应用,2003年6月
  15. 软件工程方法的新进展：面向Agent的软件工程.计算机应用研究,2003年第五期
  16. 轻载软件开发方法.计算机工程,2003年第一期
  17. 求受顶点数限制的最短路径问题的一个算法.计算机工程,2002年第九期
  18. 基于框架表示的组件库模型.计算机工程,2002年第七期
  19. 基于IP加密的VBIC系统原理及实现.计算机工程,2002年第五期
  20. 组件文档研究.计算机应用与软件,2002年第五期
  21. COM的可重用性及其存在的问题.计算机科学 99.11
  22. 关于计算机软件教学的几点思考.高等教育研究 99.7
  23. 面向对象机制对软件测试的影响及其对策.微型电脑应用 99.6
  24. 基于规则的脚本生成技术.微型电脑应用 98.7
  25. 图式程序设计语言的形式定义和设计问题.理论计算机科学 98.4
  26. 图式程序内部表示的设计与实现.计算机工程 98.1
  27. 图式程序设计系统YPS.计算机工程 96.12
  28. Windows编程技巧二则.微型电脑应用 96.8

著作

  1. 《C语言程序设计》 华师大出版社
  2. 《并行程序设计方法》科技出版社
  3. 《计算机应用基础》 高等教育出版社
  4. 《编译原理习题精选分析与解答》 清华大学出版社 2003年7月
  5. 《Unix/Linux 编程实践教程》，原著Bruce Molay 清华大学出版社，2004年10月

教学