楊宗源（華東師范信息技術學院副院長）

人物經(jīng)歷

1977年進華東師范大學數(shù)學系學習，畢業(yè)后在計算機科學技術系任教至今。

主講課程

先后擔任過《C語言程序設計》、《Windows應用程序設計》、《編譯原理》、《面向?qū)ο蠹夹g》、《程序設計方法學》、《軟件工程、工具與環(huán)境》、《軟件新技術》等課程的主講教師，指導過數(shù)十名本科生和十多名研究生的畢業(yè)論文。

研究方向

軟件工程、工具及環(huán)境

形式化方法

面向?qū)ο?/p>

構件

中間件

分布計算

過程管理

測試與度量

語言處理

主要貢獻

編寫和出版了教材4部，譯著一部，其中《并行程序的設計方法》一書獲華東地區(qū)科技出版社優(yōu)秀科技圖書二等獎。擔任上海市計算機學會理事、教育委員會副主任，全國高等師范學校計算機教育研究會理事，上海軟件構件化專家指導委員會委員。主持和參加過十多項國家和上海市的科研項目、國際合作項目工作，在國內(nèi)外核心期刊上發(fā)表學術論文20多篇。

發(fā)表的論文

吳方法在命題邏輯中的應用 華東師范大學學報 2006年第一期

基于面向方面編程的新型單元測試框架。計算機科學與實踐，第3卷第10期,2005年11月

編碼過程的相關度量及其工具實現(xiàn)。計算機工程,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

關系數(shù)據(jù)庫中的視圖自適應維護機制。計算機應用研究,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的自適應設計方法在聯(lián)合數(shù)據(jù)庫中的應用。計算機應用研究,2003年精擴本

LL(1) 句法分析程序自動生成的研究和實現(xiàn)。計算機應用,2003年6月

軟件工程方法的新進展：面向Agent的軟件工程。計算機應用研究,2003年第五期

輕載軟件開發(fā)方法。計算機工程,2003年第一期

求受頂點數(shù)限制的最短路徑問題的一個算法。計算機工程,2002年第九期

基于框架表示的組件庫模型。計算機工程,2002年第七期

基于IP加密的VBIC系統(tǒng)原理及實現(xiàn)。計算機工程,2002年第五期

組件文檔研究。計算機應用與軟件,2002年第五期

COM的可重用性及其存在的問題。計算機科學99.11

關于計算機軟件教學的幾點思考。高等教育研究99.7

面向?qū)ο髾C制對軟件測試的影響及其對策。微型電腦應用99.6

基于規(guī)則的腳本生成技術。微型電腦應用98.7

圖式程序設計語言的形式定義和設計問題。理論計算機科學98.4

圖式程序內(nèi)部表示的設計與實現(xiàn)。計算機工程98.1

圖式程序設計系統(tǒng)YPS.計算機工程96.12

Windows編程技巧二則。微型電腦應用96.8

著作

《C語言程序設計》 華師大出版社

《并行程序設計方法》科技出版社

《計算機應用基礎》 高等教育出版社

《編譯原理習題精選分析與解答》 清華大學出版社 2003年7月

《Unix/Linux 編程實踐教程》，原著Bruce Molay 清華大學出版社，2004年10月

獲獎記錄

曾獲得上海市高校優(yōu)秀青年教師、上海市育才獎、神童網(wǎng)獎教金、華為獎教金等獎勵。