| 序號 | 研究方向名稱 | 主要研究內容、特色與意義 | 研究生導師 (博導注明) |
| 1 | 智能軟件工程 | 主要研究內容：為提高大型復雜軟件的智能性、可靠性和動態適應性，以智能Agent處理復雜交互能力為基礎，形成分析、表示和建造復雜軟件系統的理論基礎，進而分析智能軟件的語義基礎并建立智能人機交互模型。包括基于Agent的混合智能系統（HIS）、智能軟件的語義基礎和智能人機交互技術。
| 張自力（博導） 楊國才（教授） 歐
靈(副教授) 賴祥偉(副教授) |
| 2 | 軟件與軟件工程理論 | 主要研究內容：針對軟件工程理論和技術的研究，包括各種軟件模型、軟件相關理論和技術、面向對象方法、軟件重構、軟件重用、軟件構件、軟件測試評價以及軟件形式化的研究。
| 唐
雁(教
授) 李
莉(教
授) 陳
武(副教授) |
| 3 | 軟件測試工程 | 主要研究內容：軟件質量與軟件可靠性，軟件測試理論，軟件測試技術與標準，軟件測試工具，軟件測試管理及工程研究等。這些方面的研究對軟件質量保證和工程化軟件測試提供理論依據和新興技術，對軟件質量提高和軟件業發展具有重要意義。
| 丁曉明(副教授) 周竹榮(副教授) 周彥暉(副教授) |
| 4 | 農業信息工程 | 主要研究內容：國內外發達國家農業信息化技術研究與應用現狀；農業地理信息系統、農業遙感和全球定位系統等空間信息處理技術；農業市場電子商務、農業管理部門電子政務等信息應用技術；農業數據庫、農業專家與決策支持系統等信息技術；網絡技術、物聯網農業等信息應用技術。
| 余建橋(教
授) 楊國才(教
授) 武
偉(副教授) |
| 序 號 | 著作或期刊的名稱（列出本學科的必讀書目和重點期刊，數量要精，水平要高，一些專業參考書可放入課程檔案中，按二級學科分別排列，不夠可另附頁）
| 作者或出版單位 |
1
| IEEE Intelligent Systems
| IEEE Computer Society
|
2
| Automated Software Engineering
| Springer
|
3
| ACM Transactions on Algorithms
| ACM
|
4
| ACM Transactions on Computational Logic
| ACM
|
5
| IEEE Transactions on Reliability
| IEEE
|
6
| ACM Transactions on Architecture and Code Optimization
| ACM
|
7
| ACM Transactions on Embedded Computing Systems
| ACM
|
8
| ACM Transactions on Information and System Security
| ACM
|
9
| Empirical Software Engineering: an international journal
| ME Sharpe, Inc.
|
10
| IBM Journal of Research and Development
| IBM Corp.
|
11
| IEEE Transactions on Multimedia
| Springer
|
12
| Journal of Systems and Software
| Prentice Hall
|
13
| Journal of Visual Languages and Computing
| Elsevier
|
14
| Science of Computer Programming
| Elsevier
|
15
| Software: Practice and Experience
| Wiley Online Library
|
16
| Theory and Practice of Logic Programming
| Cambridge University Press
|
17
| Acta Informatica
| Springer
|
18
| IEEE Transactions on Dependable and Secure Computing
| IEEE Computer Society
|
19
| ACM Transactions on Design Automation of Electronic Systems
| ACM
|
20
| Distributed and Parallel Databases
| Kluwer Academic Publishers
|
21
| IEEE Transactions on Knowledge and Data Engineering
| IEEE Computer Society
|
22
| Parallel Computing
| Elsevier
|
23
| ACM Transactions on Internet Technology
| ACM
|
24
| IEEE Transactions on Very Large Scale Integration Systems
| Springer
|
25
| ACM Transactions on Computer Systems
| ACM
|
26
| ACM Transactions on Programming Languages and Systems
| ACM
|
27
| ACM Transactions on Software Engineering and Methodology
| ACM
|
28
| IEEE Transactions on Software Engineering
| IEEE Computer Society
|
29
| ACM Computing Surveys
| Association for Computing Machinery
|
30
| ACM Transactions on Multimedia Computing Communications and Applications
| ACM
|
31
| Computer Standards and Interfaces
| Elsevier
|
32
| Journal of Computer Security
| IOS Press
|
33
| Journal of Functional and Logic Programming
| MIT
|
34
| Journal of Systems Architecture
| Elsevier
|
35
| Software Testing, Verification and Reliability
| Wiley Online Library
|
36
| Requirements Engineering
| Springer
|
37
| Journal of Object Technology
| Chair of Software Engineering
|
38
| Journal of Software
| Beijing
|
39
| Software and System Modeling
| Addison-Wesley Professional
|
40
| Journal of Software Maintenance and Evolution: research and practice
| ACM
|
ruier123
