序 号 |
著作或期刊的名称(列出本学科的必读书目和重点期刊,数量要精,水平要高,一些专业参考书可放入课程档案中,按二级学科分别排列,不够可另附页)
|
作者或出版单位 |
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
|