序號(hào) | 研究方向名稱 | 主要研究?jī)?nèi)容、特色與意義 | 研究生導(dǎo)師 (博導(dǎo)注明) |
1 | 智能軟件工程 | 主要研究?jī)?nèi)容:為提高大型復(fù)雜軟件的智能性、可靠性和動(dòng)態(tài)適應(yīng)性,以智能Agent處理復(fù)雜交互能力為基礎(chǔ),形成分析、表示和建造復(fù)雜軟件系統(tǒng)的理論基礎(chǔ),進(jìn)而分析智能軟件的語(yǔ)義基礎(chǔ)并建立智能人機(jī)交互模型。包括基于Agent的混合智能系統(tǒng)(HIS)、智能軟件的語(yǔ)義基礎(chǔ)和智能人機(jī)交互技術(shù)。
| 張自力(博導(dǎo)) 楊國(guó)才(教授) 歐
靈(副教授) 賴祥偉(副教授) |
2 | 軟件與軟件工程理論 | 主要研究?jī)?nèi)容:針對(duì)軟件工程理論和技術(shù)的研究,包括各種軟件模型、軟件相關(guān)理論和技術(shù)、面向?qū)ο蠓椒、軟件重?gòu)、軟件重用、軟件構(gòu)件、軟件測(cè)試評(píng)價(jià)以及軟件形式化的研究。
| 唐
雁(教
授) 李
莉(教
授) 陳
武(副教授) |
3 | 軟件測(cè)試工程 | 主要研究?jī)?nèi)容:軟件質(zhì)量與軟件可靠性,軟件測(cè)試?yán)碚摚浖䴗y(cè)試技術(shù)與標(biāo)準(zhǔn),軟件測(cè)試工具,軟件測(cè)試管理及工程研究等。這些方面的研究對(duì)軟件質(zhì)量保證和工程化軟件測(cè)試提供理論依據(jù)和新興技術(shù),對(duì)軟件質(zhì)量提高和軟件業(yè)發(fā)展具有重要意義。
| 丁曉明(副教授) 周竹榮(副教授) 周彥暉(副教授) |
4 | 農(nóng)業(yè)信息工程 | 主要研究?jī)?nèi)容:國(guó)內(nèi)外發(fā)達(dá)國(guó)家農(nóng)業(yè)信息化技術(shù)研究與應(yīng)用現(xiàn)狀;農(nóng)業(yè)地理信息系統(tǒng)、農(nóng)業(yè)遙感和全球定位系統(tǒng)等空間信息處理技術(shù);農(nóng)業(yè)市場(chǎng)電子商務(wù)、農(nóng)業(yè)管理部門電子政務(wù)等信息應(yīng)用技術(shù);農(nóng)業(yè)數(shù)據(jù)庫(kù)、農(nóng)業(yè)專家與決策支持系統(tǒng)等信息技術(shù);網(wǎng)絡(luò)技術(shù)、物聯(lián)網(wǎng)農(nóng)業(yè)等信息應(yīng)用技術(shù)。
| 余建橋(教
授) 楊國(guó)才(教
授) 武
偉(副教授) |
類型 | 課程編號(hào) | 課程名稱 | 開(kāi)課學(xué)期 | 學(xué)時(shí) | 學(xué)分 | 任課 教師 | 考核 方式 | 備 注 |
必修課
| 公共課
| 11000001001 | 第一外國(guó)語(yǔ)
| 1
| 90
| 3
| 外國(guó)語(yǔ)學(xué)院
| 考試
|
|
11000002002 | 中國(guó)特色社會(huì)主義理論與實(shí)踐研究
| 1
| 36
| 2
| 馬克思主義學(xué)院
| 考試
|
|
11000002003 | 自然辯證法概論
| 1
| 18
| 1
| 馬克思主義學(xué)院
| 考試
|
|
平臺(tái)課 | 11081200011 | 計(jì)算機(jī)科學(xué)中的邏輯學(xué)
| 1
| 54
| 3
| 張明義
| 考試
|
|
11081200012 | 分布式系統(tǒng)
| 1
| 54
| 3
| 張自力
| 考試
|
|
專業(yè)課 | 11083500001 | 中外主文獻(xiàn)研讀
| 2
| 36
| 2
| 計(jì)信院
| 考查
|
|
11083500008 | 軟件工程進(jìn)展
| 1
| 54
| 3
| 余建橋
| 考試
|
|
11083500004 | 可信軟件理論與技術(shù)
| 1
| 54
| 3
| 周彥輝
| 考試
|
|
選
修
課
| 11081200014 | 工程數(shù)學(xué)
| 2
| 36
| 2
| 鄧輝文
| 考查
|
|
11083500009 | 軟件體系結(jié)構(gòu)與構(gòu)建技術(shù)
| 2
| 36
| 2
| 李海寬
| 考查
|
|
11081200024 | 云計(jì)算技術(shù)
| 1
| 36
| 2
| 李莉
| 考查
|
|
11083500007 | 軟件測(cè)試?yán)碚撆c方法
| 2
| 36
| 2
| 丁曉明
| 考查
|
|
11083500002 | 高性能計(jì)算
| 2
| 36
| 2
| 程小平
| 考查
|
|
11083500005 | 面向Agent的軟件工程
| 2
| 36
| 2
| 張自力
| 考查
|
|
11083500006 | 面向服務(wù)的體系結(jié)構(gòu)
| 2
| 36
| 2
| 楊國(guó)才
| 考查
|
|
11083500010 | 軟件項(xiàng)目管理
| 2
| 36
| 2
| 王維遠(yuǎn)
| 考查
|
|
其它必修環(huán)節(jié) | 開(kāi)題報(bào)告
| 4
|
| 不計(jì)學(xué)分,完清審核簽字手續(xù),向培養(yǎng)單位提交開(kāi)題報(bào)告一份
|
學(xué)術(shù)活動(dòng)(不少于20次), 參加學(xué)術(shù)報(bào)告、前沿講座
|
|
| 2
| 提交學(xué)術(shù)報(bào)告手冊(cè),導(dǎo)師簽字,學(xué)院核查
|
社會(huì)、教學(xué)和科研實(shí)踐活動(dòng)(三選一)
|
|
| 2
| 導(dǎo)師審查簽字后向?qū)W院提交實(shí)踐報(bào)告一份或發(fā)表高水平論文的復(fù)印件
|
中期考核
| 4
| 不計(jì)學(xué)分,完清審核簽字手續(xù),向?qū)W院提交相關(guān)材料各一份
|
同等學(xué)力考生補(bǔ)修課程 |
| 數(shù)據(jù)結(jié)構(gòu)
|
|
| 不計(jì)學(xué)分
|
| 軟件工程導(dǎo)論
|
|
| 不計(jì)學(xué)分
|
| 系統(tǒng)分析
|
|
| 不計(jì)學(xué)分
|
| 數(shù)據(jù)庫(kù)
|
|
| 不計(jì)學(xué)分
|
| | | | | | | | | | |
序 號(hào) | 著作或期刊的名稱(列出本學(xué)科的必讀書(shū)目和重點(diǎn)期刊,數(shù)量要精,水平要高,一些專業(yè)參考書(shū)可放入課程檔案中,按二級(jí)學(xué)科分別排列,不夠可另附頁(yè))
| 作者或出版單位 |
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
|