杨宗源 教授

    杨宗源，东师范大学信息科学技术学院计算机科学技术系教授、博士生导师，信息科学技术学院党委书记。 1977 年进华东师范大学数学系学习，毕业后在计算机科学技术系任教至今。先后担任过《 C 语言程序设计》、《 Windows 应用程序设计》、《编译原理》、《面向对象技术》、《程序设计方法学》、《软件工程、工具与环境》、《软件新技术》等课程的主讲教师，指导了数十名本科生和几十名研究生的毕业论文。编写和出版了教材 4 部，译著一部，其中《并行程序的设计方法》一书获华东地区科技出版社优秀科技图书二等奖。现任华东师范大学学报 ( 自然科学版 ) 编委，上海市计算机学会名誉理事、教育委员会副主任，全国高等师范学校计算机教育研究会副理事长，上海软件构件化专家指导委员会委员。曾获得上海市高校优秀青年教师、上海市育才奖、神童网优秀教师奖、华为优秀教师奖、宝钢优秀教师奖、华东师范大学师德标兵等奖励。主持和参加国家自然科学基金、教育部博士点基金、上海市自然科学基金、上海市科委基础研究重点项目等多个国家和上海市科研项目以及数十项国际合作项目、国内企事业委托合作项目，在国内外期刊、会议上发表学术论文 60 多篇。
姓名 杨宗源 性别 男
职称 教授 电话 021-54345109
所在院系 华东师范大学 信息学科学技术学院 计算机科学技术系
地址 上海市东川路500号信息楼328室 邮编 200241
Email yzyuan@cs.ecnu.edu.cn
主要研究方向
  • 程序理论和方法
  • 软件设计形式化方法
  • 软件工程、工具及环境
近年主要论文
  • 李晶，杨宗源 吴方法在命题逻辑中的应用 华东师范大学学报 2006 年第一期 p80
  • 陈玲，杨宗源 基于 SPEC ＃的自动测试方法 计算机应用与软件 2007 年 11 期
  • 查冰，杨宗源 基于 JML 的面向对象设计指导测试方法的研究与实现 计算机应用与软件 2008 年第四期
  • 陆瀛海，杨宗源 基于模糊层次分析法的测试效果量化预测评估方法 计算机科学 2008 年第一期
  • 徐倩颖，杨宗源 面向方面编程的一种新型设计模式 华东师范大学学报 2008 年第一期
  • Dan Jing, ZongYuan Yang. Strategies of Modeling from VDM-SL to JML, 7th International Conference on Advanced Language Processing and Web information Technology(ALPIT 2008), July 23-25.2008 Dalian,Liaoning,China. IEEE Computer Society Press.
  • Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Formal model and analysis of sliding window protocol based on NuSMV. Journal of Computers, v 4, n 6, p 519-526, May 2009.
  • Yefei Zhao, Zongyuan Yang, Jinkui Xie. Formal semantics of UML state diagram and automatic verification Based on Kripke structure. 22nd IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2009, p 974-978, May 2009.
  • Yefei Zhao, Zongyuan Yang, Jinkui Xie. Pi-calculus based assembly mechanism of UML state diagram and Validation of model refinement. International Conference on Electronic Computer Technology 2009, ICECT 2009, p 604-609, February 2009.
  • Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Performance analysis of system model Based on continuous-time Markov chains. Journal of Software, v 5, n 9, p 974-981, 2010
  • Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Quantitative analysis of system Based on extended UML state diagrams and probabilistic model checking. Journal of Software, v 5, n 7, p 793-800, 2010
  • Qiang Liu, Zongyuan Yang, Jinkui Xie.: Verifying Correctness of Pattern-based Composition in Coq. International Journal of Control and Automation, Science & Engineering Research Support Center,South Korea,2008
  • Qiang Liu, Zongyuan Yang, Jinkui Xie.: Description and Verification of Pattern-based Composition in Coq. Future Generation Communication and Networking, Hainan Island, China, pp.231-245 2008.
  • Qiang Liu, Zongyuan Yang, Yefei Zhao.: Design Patterns in Situation Calculus. International Conference on Software Technology and Engineering, Chennai, India, pp. 244-248 2009.
  • Qiang Liu, Zongyuan Yang, Ying Liu.: Programming Pattern-based Composition in Golog. The 2nd IEEE International Conferene on Computer Science and Information Technology, Beijing, China, pp.573-577 2009.
  • 谭力 , 杨宗源 , 谢谨奎 . Ajax 技术的数据响应优化 . 计算机工程 , Vol. 36, No. 7, pp. 52~54 2010 年。
  • Li Tan, Zongyuan Yang and Jinkui Xie. "UCVSC: A Formal Approach to UML  Class Diagram Online Verification Based on Situation Calculus", The 4th International Conference on Computer Sciencesand Convergence Information  Technology (ICCIT'09), pp. 375-380, Seoul,Korea, Nov. 2009.
  • 窦亮 杨宗源 王婷婷， 编译实验课程的教学研究与实践，计算机教育 ，2009年 第23期
  • Li Tan, Zongyuan Yang and Jinkui Xie. "OCL Constraints Automatic Generation for UML Class Diagram", in Proceedings of the International Conference on Software Engineering and Service Science (ICSESS'10), pp. 392-395, Beijing, China, July 2010.
  •  Li Tan, Zongyuan Yang and Jinkui Xie. "Verifying UML in Prolog", in Proceedings of the 10th IASTED International Conference on Software Engineering  (SE'11),  Innsbruck, Austria, Feb. 2011
  • Kangle Cui, Zongyuan Yang, Jinkui Xie, Kaiyu Wan. Unify Modeling and Simulation Based on UML Timing Diagram and UPPAAL. The 2nd International Conference on Computer Modeling and Simulation (ICCMS 2010), v 1, p 26-30, 2010.
  • 刘川博、杨宗源、谢瑾奎 基于 UML 的软件设计信息抽取及在重构中的应用 华东师范大学学报 2010 年第三期
  • Tingting Wang, Jinkui Xie, Bei Jin, Zongyuan Yang. Combinatorial Auctions based Network Resource Allocation Mechanism with High Welfare. The 4th International Conference on Frontier of Computer Science and Technology (FCST 2009), December 2009 p 213-218, 2009.
  • Jin, Bei 、Xie, Jinkui 、Wang, Tingting、 Yang, Zongyuan. Online network resource allocation mechanism with the continuous high satisfaction 2nd International Symposium on Information Science and Engineering, ISISE 2009, p 254-258, 2010
  • Shujun. Zou, Kaiyu.Wan, Zongyuan.Yang. A Toolkit for Simulating and Verifying Context Aware Systems. The 2th International Conference on Future Computer and Communication (ICFCC 2010), Wuhan, China, Volume 1, pp.299-304.
  • Shujun. Zou, Kaiyu.Wan, Zongyuan.Yang. Modelling and Verifying of Medical Diagnosis System Based on Context-awareness Framework. The 5th International Conference on Frontier of Computer Science and Technology (FCST 2010), Changchun, China, Volume 1, pp.339-343
  • Zhuocheng Li, Jinkui Xie, Yisheng Jin and Zongyuan Yang. Game Algorithm of Trade Selection Based on Trust in E-marketplace. IEEE International Conference on Information Management and Engineering (ICIME 2010). Pp. 165-169, June 2010.
在研的主要项目

  • 《基于设计构件的形式规范自动生成与验证分析》上海市自然科学基金 (No. 09ZR1409500) 2009.7.1-2011.6.31

  • 《实时并发系统形式语义自适应生成框架研究》上海市科委基础研究重点项目 (No.09JC1405000) 2009.9.1-2011.8.31

  • 《 UML 可执行的统一形式语义框架研究》 国家自然科学基金面上项目 （ No. 61070226 ） 2011.1~2013.12

著作
  • 杨宗源《编译原理习题精选分析与解答》 清华大学出版社 2003 年 7 月
  • 陶增乐、杨宗源《计算机应用基础》 高等教育出版社 2000 年 7 月
  • 李玉茜、杨宗源《并行程序设计方法》科技出版社 1994 年 12 月
  • 周建中、陈强璋、杨宗源、宁鲁生《 C 语言程序设计》 华东师范大学出版社 1994 年 7 月
  • 徐国定、杨宗源 《编译程序构造》华东师范大学出版社 1989 年 10 月
译著
  • 杨宗源、黄海涛《 Unix/Linux 编程实践教程》，原著 Bruce Molay 清华大学出版社 2004 年 10 月
目前教学
最近更新时间：2010-12-10