【软件工程/系统软件/程序设计语言】 2019年-中国计算机学会推荐国际学术会议和期刊目录(四)

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)

猜你喜欢

转载自blog.csdn.net/Aibiabcheng/article/details/107237462