1.中国计算机学会推荐国际【学术期刊】
软件工程 / 系统软件 / 程序设计语言
（1）A类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
| 1 | TOPLAS | ACM Transactions on Programming Languages & Systems | ACM | http://dblp.uni-trier.de/db/journals/tocs/ |
| 2 | TOSEM | ACM Transactions on Software Engineering and Methodology | ACM | http://dblp.uni-trier.de/db/journals/tosem/ |
| 3 | TSE | IEEE Transactions on Software Engineering | IEEE | http://dblp.uni-trier.de/db/journals/tse/ |
（2）B类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
| 1 | ASE | Automated Software Engineering | Springer | http://dblp.uni-trier.de/db/journals/ase/ |
| 2 | ESE | Empirical Software Engineering | Springer | http://dblp.uni-trier.de/db/journals/ese/ |
| 3 | TSC | IEEE Transactions on Service Computing | IEEE | http://dblp.uni-trier.de/db/journals/tsc/ |
| 4 | IETS | IET Software | IET | https://dblp.uni-trier.de/db/journals/iet-sen/ |
| 5 | IST | Information and Software Technology | Elsevier | http://dblp.uni-trier.de/db/journals/infsof/index.html |
| 6 | JFP | Journal of Functional Programming | Cambridge University Press | http://dblp.uni-trier.de/db/journals/jfp/ |
| 7 | Journal of Software: Evolution and Process | Wiley | http://dblp.uni-trier.de/db/journals/smr/ | |
| 8 | JSS | Journal of Systems and Software | Elsevier | http://dblp.uni-trier.de/db/journals/jss/ |
| 9 | RE | Requirements Engineering | Springer | http://dblp.uni-trier.de/db/journals/re/ |
| 10 | SCP | Science of Computer Programming | Elsevier | http://dblp.uni-trier.de/db/journals/scp/ |
| 11 | SoSyM | Software and System Modeling | Springer | http://dblp.uni-trier.de/db/journals/sosym/ |
| 12 | STVR | Software Testing, Verification and Reliability | Wiley | http://dblp.uni-trier.de/db/journals/stvr/index.html |
| 13 | SPE | Software: Practice and Experience | Wiley | http://dblp.uni-trier.de/db/journals/spe/ |
（3）C类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
| 1 | CL | Computer Languages, Systems and Structures | Elsevier | http://dblp.uni-trier.de/db/journals/cl/index.html |
| 2 | IJSEKE | International Journal on Software Engineering and Knowledge Engineering | World Scientific | http://dblp.uni-trier.de/db/journals/cl/index.html |
| 3 | STTT | International Journal on Software Tools for Technology Transfer | Springer | http://dblp.uni-trier.de/db/journals/sttt/ |
| 4 | JLAP | Journal of Logic and Algebraic Programming | Elsevier | http://dblp.uni-trier.de/db/journals/jlp/jlap.html |
| 5 | JWE | Journal of Web Engineering | Rinton Press | http://dblp.uni-trier.de/db/journals/jwe/ |
| 6 | SOCA | Service Oriented Computing and Applications | Springer | http://dblp.uni-trier.de/db/journals/soca/ |
| 7 | SQJ | Software Quality Journal | Springer | http://dblp.uni-trier.de/db/journals/sqj/ |
| 8 | TPLP | Theory and Practice of Logic Programming | Cambridge University Press | http://dblp.uni-trier.de/db/journals/tplp/ |
2.中国计算机学会推荐国际【学术会议】
软件工程 / 系统软件 / 程序设计语言
（1）A类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
| 1 | PLDI | ACM SIGPLAN Conference on Programming Language Design & Implementation | ACM | http://dblp.uni-trier.de/db/conf/pldi/ |
| 2 | POPL | ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | ACM | http://dblp.uni-trier.de/db/conf/popl/ |
| 3 | FSE/ESEC | ACM SIGSOFT Symposium on the Foundation of Software Engineering/ European Software Engineering Conference | ACM | http://dblp.uni-trier.de/db/conf/sigsoft/ |
| 4 | SOSP | ACM Symposium on Operating Systems Principles | ACM | http://dblp.uni-trier.de/db/conf/sosp/ |
| 5 | OOPSLA | Conference on Object-Oriented Programming Systems, Languages, and Applications | ACM | http://dblp.uni-trier.de/db/conf/oopsla/ |
| 6 | ASE | International Conference on Automated Software Engineering | IEEE/ACM | http://dblp.uni-trier.de/db/conf/kbse/ |
| 7 | ICSE | International Conference on Software Engineering | ACM/IEEE | http://dblp.uni-trier.de/db/conf/icse/ |
| 8 | ISSTA | International Symposium on Software Testing and Analysis | ACM | http://dblp.uni-trier.de/db/conf/issta/ |
| 9 | OSDI | USENIX Symposium on Operating Systems Design and Implementations | USENIX | http://dblp.uni-trier.de/db/conf/osdi/ |
（2）B类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
| 1 | ECOOP | European Conference on Object-Oriented Programming | AITO | http://dblp.uni-trier.de/db/conf/cloud/ |
| 2 | ETAPS | European Joint Conferences on Theory and Practice of Software | Springer | http://dblp.uni-trier.de/db/conf/etaps/ |
| 3 | ICPC | IEEE International Conference on Program Comprehension | IEEE | http://dblp.uni-trier.de/db/conf/iwpc/ |
| 4 | RE | IEEE International Requirement Engineering Conference | IEEE | http://dblp.uni-trier.de/db/conf/re/ |
| 5 | CAiSE | International Conference on Advanced Information Systems Engineering | Springer | http://dblp.uni-trier.de/db/conf/caise/ |
| 6 | ICFP | International Conference on Function Programming | ACM | http://dblp.uni-trier.de/db/conf/icfp/ |
| 7 | LCTES | International Conference on Languages, Compilers and Tools for Embedded Systems | ACM | http://dblp.uni-trier.de/db/conf/lctrts/ |
| 8 | MoDELS | International Conference on Model Driven Engineering Languages and Systems | ACM, IEEE | http://dblp.uni-trier.de/db/conf/models/ |
| 9 | CP | International Conference on Principles and Practice of Constraint Programming | Springer | http://dblp.uni-trier.de/db/conf/cp/ |
| 10 | ICSOC | International Conference on Service Oriented Computing | Springer | http://dblp.uni-trier.de/db/conf/icsoc/ |
| 11 | SANER | International Conference on Software Analysis, Evolution, and Reengineering | IEEE | http://dblp.uni-trier.de/db/conf/wcre/ |
| 12 | ICSME | International Conference on Software Maintenance and Evolution | IEEE | http://dblp.uni-trier.de/db/conf/icsm/ |
| 13 | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | Springer | http://dblp.uni-trier.de/db/conf/vmcai/ |
| 14 | ICWS | International Conference on Web Services （Research Track） | IEEE | http://dblp.uni-trier.de/db/conf/icws/ |
| 15 | Middleware | International Middleware Conference | ACM/IFIP/ USENIX | http://dblp.uni-trier.de/db/conf/middleware/ |
| 16 | SAS | International Static Analysis Symposium | Springer | http://dblp.uni-trier.de/db/conf/sas/ |
| 17 | ESEM | International Symposium on Empirical Software Engineering and Measurement | ACM/IEEE | http://dblp.uni-trier.de/db/conf/esem/ |
| 18 | FM | International Symposium on Formal Methods | FME | http://dblp.uni-trier.de/db/conf/fm/ |
| 19 | ISSRE | International Symposium on Software Reliability Engineering | IEEE | http://dblp.uni-trier.de/db/conf/issre/ |
| 20 | HotOS | USENIX Workshop on Hot Topics in Operating Systems | USENIX | http://dblp.uni-trier.de/db/conf/hotos/ |
（3）C类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
| 1 | PEPM | ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation | ACM | http://dblp.uni-trier.de/db/conf/pepm/ |
| 2 | PASTE | ACMSIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | ACM | http://dblp.uni-trier.de/db/conf/paste/ |
| 3 | APLAS | Asian Symposium on Programming Languages and Systems | Springer | http://dblp.uni-trier.de/db/conf/aplas/ |
| 4 | APSEC | Asia-Pacific Software Engineering Conference | IEEE | http://dblp.uni-trier.de/db/conf/apsec/ |
| 5 | EASE | Evaluation and Assessment in Software Engineering | ACM | http://dblp.uni-trier.de/db/conf/ease/ |
| 6 | ICECCS | IEEE International Conference on Engineering of Complex Computer Systems | IEEE | http://dblp.uni-trier.de/db/conf/iceccs/ |
| 7 | ICST | IEEE International Conference on Software Testing, Verification and Validation | IEEE | http://dblp.uni-trier.de/db/conf/icst/ |
| 8 | ISPASS | IEEE International Symposium on Performance Analysis of Systems and Software | IEEE | http://dblp.uni-trier.de/db/conf/ispass/ |
| 9 | SCAM | IEEE International Working Conference on Source Code Analysis and Manipulation | IEEE | http://dblp.uni-trier.de/db/conf/scam/ |
| 10 | COMPSAC | International Computer Software and Applications Conference | IEEE | http://dblp.uni-trier.de/db/conf/compsac/ |
| 11 | ICFEM | International Conference on Formal Engineering Methods | Springer | http://dblp.uni-trier.de/db/conf/icfem/ |
| 12 | TOOLS | International Conference on Objects, Models, Components, Patterns | Springer | http://dblp.uni-trier.de/db/conf/tools/index.html |
| 13 | SCC | International Conference on Service Computing | IEEE | http://dblp.uni-trier.de/db/conf/IEEEscc/ |
| 14 | ICSSP | International Conference on Software and System Process | ACM | http://dblp.uni-trier.de/db/conf/ispw/ |
| 15 | SEKE | International Conference on Software Engineering and Knowledge Engineering | KSI | http://dblp.uni-trier.de/db/conf/seke/ |
| 16 | QRS | International Conference on Software Quality, Reliability and Security | IEEE | https://dblp.uni-trier.de/db/conf/qrs/ |
| 17 | ICSR | International Conference on Software Reuse | Springer | http://dblp.uni-trier.de/db/conf/icsr/ |
| 18 | ICWE | International Conference on Web Engineering | Springer | http://dblp.uni-trier.de/db/conf/icwe/ |
| 19 | SPIN | International SPIN Workshop on Model Checking Software | Springer | http://dblp.uni-trier.de/db/conf/spin/index.html |
| 20 | ATVA | International Symposium on Automated Technology for Verification and Analysis | Springer | http://dblp.uni-trier.de/db/conf/atva/ |
| 21 | LOPSTR | International Symposium on Logic-based Program Synthesis and Transformation | Springer | http://dblp.uni-trier.de/db/conf/lopstr/ |
| 22 | TASE | International Symposium on Theoretical Aspects of Software Engineering | IEEE | http://dblp.uni-trier.de/db/conf/tase/ |
| 23 | MSR | Mining Software Repositories | IEEE/ACM | http://dblp.uni-trier.de/db/conf/msr/ |
| 24 | REFSQ | Requirements Engineering: Foundation for Software Quality | Springer | http://dblp.uni-trier.de/db/conf/refsq/ |
| 25 | WICSA | Working IEEE/IFIP Conference on Software Architecture | IEEE | http://dblp.uni-trier.de/db/conf/wicsa/ |
参考资料：中国计算机学会推荐国际学术会议和期刊目录（2019）
扫一扫
892
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
