| 序号 | 研究方向名称 | 主要研究内容、特色与意义 | 研究生导师 (博导注明) |
| 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
