| 序號 | 研究方向名稱 | 主要研究內(nèi)容、特色與意義 | 研究生導(dǎo)師 (博導(dǎo)注明) |
| 1 | 智能軟件工程 | 主要研究內(nèi)容：為提高大型復(fù)雜軟件的智能性、可靠性和動態(tài)適應(yīng)性，以智能Agent處理復(fù)雜交互能力為基礎(chǔ)，形成分析、表示和建造復(fù)雜軟件系統(tǒng)的理論基礎(chǔ)，進而分析智能軟件的語義基礎(chǔ)并建立智能人機交互模型。包括基于Agent的混合智能系統(tǒng)（HIS）、智能軟件的語義基礎(chǔ)和智能人機交互技術(shù)。
| 張自力（博導(dǎo)） 楊國才（教授） 歐
靈(副教授) 賴祥偉(副教授) |
| 2 | 軟件與軟件工程理論 | 主要研究內(nèi)容：針對軟件工程理論和技術(shù)的研究，包括各種軟件模型、軟件相關(guān)理論和技術(shù)、面向?qū)ο蠓椒ā④浖貥?gòu)、軟件重用、軟件構(gòu)件、軟件測試評價以及軟件形式化的研究。
| 唐
雁(教
授) 李
莉(教
授) 陳
武(副教授) |
| 3 | 軟件測試工程 | 主要研究內(nèi)容：軟件質(zhì)量與軟件可靠性，軟件測試?yán)碚�，軟件測試技術(shù)與標(biāo)準(zhǔn)，軟件測試工具，軟件測試管理及工程研究等。這些方面的研究對軟件質(zhì)量保證和工程化軟件測試提供理論依據(jù)和新興技術(shù)，對軟件質(zhì)量提高和軟件業(yè)發(fā)展具有重要意義。
| 丁曉明(副教授) 周竹榮(副教授) 周彥暉(副教授) |
| 4 | 農(nóng)業(yè)信息工程 | 主要研究內(nèi)容：國內(nèi)外發(fā)達國家農(nóng)業(yè)信息化技術(shù)研究與應(yīng)用現(xiàn)狀；農(nóng)業(yè)地理信息系統(tǒng)、農(nóng)業(yè)遙感和全球定位系統(tǒng)等空間信息處理技術(shù)；農(nóng)業(yè)市場電子商務(wù)、農(nóng)業(yè)管理部門電子政務(wù)等信息應(yīng)用技術(shù)；農(nóng)業(yè)數(shù)據(jù)庫、農(nóng)業(yè)專家與決策支持系統(tǒng)等信息技術(shù)；網(wǎng)絡(luò)技術(shù)、物聯(lián)網(wǎng)農(nóng)業(yè)等信息應(yīng)用技術(shù)。
| 余建橋(教
授) 楊國才(教
授) 武
偉(副教授) |
| 序 號 | 著作或期刊的名稱（列出本學(xué)科的必讀書目和重點期刊，數(shù)量要精，水平要高，一些專業(yè)參考書可放入課程檔案中，按二級學(xué)科分別排列，不夠可另附頁）
| 作者或出版單位 |
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
