中国计算机学会推荐国际学术刊物

(● 软件工程/系统软件/程序设计语言)

A类

• 序号
  刊物名称
  刊物全称
  出版社
  地址
• 1
  TOPLAS
  ACM Transactions on Programming Languages & Systems
  ACM
  http://dblp.uni-trier.de/db/journals/toplas/
• 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/

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
  http://dblp.uni-trier.de/db/journals/iee/index.html
• 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/

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/ijseke/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/

中国计算机学会推荐国际学术会议

(● 软件工程/系统软件/程序设计语言)

A类

• 序号
  刊物名称
  刊物全称
  出版社
  地址
• 1
  PLDI
  ACM SIGPLAN Symposium 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/

B类

• 序号
  刊物名称
  刊物全称
  出版社
  地址
• 1
  ECOOP
  European Conference on Object-Oriented Programming
  AITO
  http://dblp.uni-trier.de/db/conf/ecoop/
• 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 Requirements 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, Tools and Theory 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/

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
  ISPA
  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
  http://paris.utdallas.edu/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 of 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/