中国计算机学会CCF推荐国际学术会议和期刊目录-软件工程/系统软件/程序设计语言

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

---

中国计算机学会推荐国际学术期刊 
（软件工程/系统软件/程序设计语言）

一、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 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

SPE

Software: Practice and Experience

Wiley

http://dblp.uni-trier.de/db/journals/spe/

13

STVR

Software Testing, Verification and Reliability

Wiley

http://dblp.uni-trier.de/db/journals/stvr/index.html

 

三、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

FSE/ESEC

ACM SIGSOFT Symposium on the Foundation 
of Software Engineering/ European Software 
Engineering Conference

ACM 

http://dblp.uni-trier.de/db/conf/sigsoft/

2

OOPSLA

Conference on Object-Oriented
Programming Systems, Languages,
and Applications

ACM

http://dblp.uni-trier.de/db/conf/oopsla/

3

ICSE

International Conference on 
Software Engineering

ACM/IEEE

http://dblp.uni-trier.de/db/conf/icse/

4

OSDI

USENIX Symposium on 
Operating Systems Design 
and Implementations

USENIX

http://dblp.uni-trier.de/db/conf/osdi/

5

PLDI

ACM SIGPLAN Symposium on Programming 
Language Design & Implementation

ACM

http://dblp.uni-trier.de/db/conf/pldi/

6

POPL

ACM SIGPLAN-SIGACT 
Symposium on Principles 
of Programming Languages

ACM

http://dblp.uni-trier.de/db/conf/popl/

7

SOSP

ACM Symposium on 
Operating Systems Principles

ACM

http://dblp.uni-trier.de/db/conf/sosp/

8

ASE

International Conference on 
Automated Software Engineering

IEEE/ACM

http://dblp.uni-trier.de/db/conf/kbse/

二、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

FM

World Congress on Formal Methods

FME

http://dblp.uni-trier.de/db/conf/fm/

4

ICPC

IEEE International Conference on
Program Comprehension

IEEE

http://dblp.uni-trier.de/db/conf/iwpc/

5

RE

IEEE International Requirement 
Engineering Conference

IEEE

http://dblp.uni-trier.de/db/conf/re/

6

CAiSE

International Conference on Advanced
Information Systems Engineering

Springer

http://dblp.uni-trier.de/db/conf/caise/

7

ICFP

International Conference on
Function Programming

ACM

http://dblp.uni-trier.de/db/conf/icfp/

8

LCTES

International Conference on Languages,
Compilers, Tools and Theory for
Embedded Systems

ACM

http://dblp.uni-trier.de/db/conf/lctrts/

9

MoDELS

International Conference on Model Driven
Engineering Languages and Systems

ACM, IEEE

http://dblp.uni-trier.de/db/conf/models/

10

CP

International Conference on Principles
and Practice of Constraint Programming

Springer

http://dblp.uni-trier.de/db/conf/cp/

11

ICSOC

International Conference on Service
Oriented Computing

Springer

http://dblp.uni-trier.de/db/conf/icsoc/

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

SAS

International Static Analysis Symposium

Springer

http://dblp.uni-trier.de/db/conf/sas/

16

ISSRE

International Symposium on Software 
Reliability Engineering

IEEE

http://dblp.uni-trier.de/db/conf/issre/

17

ISSTA

International Symposium on 
Software Testing and Analysis

ACM

http://dblp.uni-trier.de/db/conf/issta/

18

Middleware

Conference on middleware

ACM/IFIP/
USENIX

http://dblp.uni-trier.de/db/conf/middleware/

19

SANER

International Conference on Software
Analysis, Evolution, and Reengineering

IEEE

http://dblp.uni-trier.de/db/conf/wcre/

20

HotOS

USENIX Workshop on Hot Topics in 
Operating Systems

USENIX

http://dblp.uni-trier.de/db/conf/hotos/

21

ESEM

International Symposium on Empirical 
Software Engineering and Measurement

ACM/IEEE

http://dblp.uni-trier.de/db/conf/esem/

三、C类

序号

会议简称

会议全称

出版社

网址

1

PASTE

ACMSIGPLAN-SIGSOFT Workshop
on Program Analysis for Software
Tools and Engineering

ACM

http://dblp.uni-trier.de/db/conf/paste/

2

APLAS

Asian Symposium on Programming
Languages and Systems

Springer

http://dblp.uni-trier.de/db/conf/aplas/

3

APSEC

Asia-Pacific Software Engineerin
g Conference

IEEE

http://dblp.uni-trier.de/db/conf/apsec/

4

COMPSAC

International Computer Software and 
Applications Conference

IEEE

http://dblp.uni-trier.de/db/conf/compsac/

5

ICECCS

IEEE International Conference on
Engineering of Complex Computer Systems

IEEE

http://dblp.uni-trier.de/db/conf/iceccs/

6

SCAM

IEEE International Working Conference
on Source Code Analysis and Manipulation

IEEE

http://dblp.uni-trier.de/db/conf/scam/

7

ICFEM

International Conference on Formal
Engineering Methods

Springer

http://dblp.uni-trier.de/db/conf/icfem/

8

TOOLS

International Conference on Objects, 
Models, Components, Patterns

Springer

http://dblp.uni-trier.de/db/conf/tools/index.html

9

PEPM

ACM SIGPLAN Symposium on Partial
Evaluation and Semantics Based 
Programming Manipulation

ACM

http://dblp.uni-trier.de/db/conf/pepm/

10

QRS

The IEEE International Conference on Software Quality, Reliability and Security

IEEE

http://paris.utdallas.edu/qrs/

11

SEKE

International Conference on Software
Engineering and Knowledge Engineering

KSI

http://dblp.uni-trier.de/db/conf/seke/

12

ICSR

International Conference on Software Reuse

Springer

http://dblp.uni-trier.de/db/conf/icsr/

13

ICWE

International Conference on Web Engineering

Springer

http://dblp.uni-trier.de/db/conf/icwe/

14

SPIN

International SPIN Workshop on Model 
Checking of Software

Springer

http://dblp.uni-trier.de/db/conf/spin/index.html

15

LOPSTR

International Symposium on Logic-based Program Synthesis and Transformation

Springer

http://dblp.uni-trier.de/db/conf/lopstr/

16

TASE

International Symposium on Theoretical
Aspects of Software Engineering

IEEE

http://dblp.uni-trier.de/db/conf/tase/

17

ICST

The IEEE International Conference on 
Software Testing, Verification and Validation

IEEE

http://dblp.uni-trier.de/db/conf/icst/

18

ATVA

International Symposium on Automated Technology for Verification and Analysis

Springer

http://dblp.uni-trier.de/db/conf/atva/

19

ISPASS

IEEE International Symposium on 
Performance Analysis of Systems and
Software

IEEE

http://dblp.uni-trier.de/db/conf/ispass/

20

SCC

International Conference on Service 
Computing

IEEE

http://dblp.uni-trier.de/db/conf/IEEEscc/

21

ICSSP

International Conference on Software
and System Process

ISPA

http://dblp.uni-trier.de/db/conf/ispw/

22

MSR

Working Conference on Mining Software Repositories

IEEE/ACM

http://dblp.uni-trier.de/db/conf/msr/

23

REFSQ

Requirements Engineering: Foundation for Software Quality

Springer

http://dblp.uni-trier.de/db/conf/refsq/

24

WICSA

Working IEEE/IFIP Conference on
Software Architecture

IEEE

http://dblp.uni-trier.de/db/conf/wicsa/

25

EASE

Evaluation and Assessment in Software
Engineering

ACM

http://dblp.uni-trier.de/db/conf/ease/