楊宗源[教授]

楊宗源，華東師範大學信息科學技術學院計算機科學技術系教授，信息科學技術學院副院長。

基本信息

• 中文名：楊宗源
• 性別：男
• 國籍：中國
• 職業：教授
  
• 畢業院校：華東師範大學
• 主要成就：畢業後在計算機科學技術系任教至今。
  
• 所獲榮譽：曾獲得上海市高校優秀青年教師、上海市育才獎、神童網獎教金、華為獎教金等獎勵。
  

人物經歷

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月

獲獎記錄

曾獲得上海市高校優秀青年教師、上海市育才獎、神童網獎教金、華為獎教金等獎勵。