本文關(guān)鍵詞：程序設(shè)計(jì)，由筆耕文化傳播整理發(fā)布。

中國計(jì)算機(jī)學(xué)會(huì)推薦國際學(xué)術(shù)刊物
　(軟件工程、系統(tǒng)軟件與程序設(shè)計(jì)語言）

一、A類

序號(hào) 刊物簡稱 刊物全稱 出版社 網(wǎng)址

1

TOPLAS

ACM Transactions on Programming Languages & Systems

ACM

2

TOSEM

ACM Transactions on Software Engineering Methodology

ACM

3

TSE

IEEE Transactions on Software Engineering

IEEE

二、B類

序號(hào) 刊物簡稱 刊物全稱 出版社 網(wǎng)址

1

ASE

Automated Software Engineering

Springer

2

 

Empirical Software Engineering

Springer

3

 TSC

IEEE Transactions on Service Computing

IEEE

4

 IETS

IET Software

IET

5

 IST

Information and Software Technology

Elsevier

6

JFP

Journal of Functional Programming

Cambridge
University Press

?jid=JFP

7

 

Journal of Software: Evolution and Process

Wiley

(ISSN)
2047-7481

8

JSS

Journal of Systems and Software

Elsevier

and-software/

9

RE

Requirements Engineering

Springer

10

SCP

Science of Computer Programming

Elsevier

-programming/

11 SoSyM Software and System Modeling Springer

12

SPE

Software: Practice and Experience

Wiley

13 STVR Software Testing, Verification and Reliability Wiley
-STVR.html

三、C類

序號(hào) 刊物簡稱 刊物全稱 出版社 網(wǎng)址

1

 

Computer Languages, Systems and Structures

Elsevier

.cws_home/638299/description#description

2

IJSEKE

International Journal on Software Engineering and Knowledge Engineering

World
Scientific

3

STTT

International Journal on Software Tools for Technology Transfer

Springer

4

 

Journal of Logic and Algebraic Programming

Elsevier

and-algebraic-programming/

5

JWE

Journal of Web Engineering

Rinton Press

6

 

Service Oriented Computing and Applications

Springer

+
networks/journal/11761

7

 SQJ

Software Quality Journal

Springer

journal/11219

8

TPLP

Theory and Practice of Logic Programming

Cambridge
University Press

?jid=TLP

中國計(jì)算機(jī)學(xué)會(huì)推薦國際學(xué)術(shù)會(huì)議
　(軟件工程、系統(tǒng)軟件與程序設(shè)計(jì)語言）

一、A類

序號(hào) 會(huì)議簡稱 會(huì)議全稱 出版社 網(wǎng)址

1

FSE/ESEC

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

ACM

2

OOPSLA

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

ACM

3

ICSE

International Conference on Software
Engineering

ACM/IEEE

4

OSDI

USENIX Symposium on Operating Systems
Design and Implementations

USENIX

5 PLDI ACM SIGPLAN Symposium on Programming Language Design & Implementation ACM

6 POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ACM

7 SOSP ACM Symposium on Operating Systems Principles ACM

二、B類

序號(hào) 會(huì)議簡稱 會(huì)議全稱 出版社 網(wǎng)址

1

ECOOP

European Conference on Object-Oriented Programming

AITO

2

ETAPS

European Joint Conferences on Theory and Practice of Software

Springer

3

FM

Formal Methods, World Congress

FME

4 ICPC IEEE International Conference on Program Comprehension IEEE

5

RE

IEEE International Requirement Engineering Conference

IEEE

~re2013/

6

CAiSE

International Conference on Advanced Information Systems Engineering

Springer

7

ASE

International Conference on Automated Software Engineering

IEEE/ACM

8

ICFP

International Conf on Function Programming

ACM

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

10 MoDELS International Conference on Model Driven Engineering Languages and Systems ACM, IEEE

11 CP International Conference on Principles and Practice of Constraint Programming Springer

12 ICSOC International Conference on Service Oriented Computing Springer

13 ICSM International. Conference on Software Maintenance IEEE

14 VMCAI International Conference on Verification,
Model Checking, and Abstract Interpretation Springer

15 ICWS International Conference on Web Services
（Research Track） IEEE

16

SAS

International Static Analysis Symposium

Springer

17 ISSRE International Symposium on Software Reliability Engineering IEEE

18

ISSTA

International Symposium on Software Testing and Analysis

ACM SIGSOFT

19 Middleware Conference on middleware ACM/IFIP/ USENIX

20 WCRE Working Conference on Reverse Engineering IEEE

21 HotOS USENIX Workshop on Hot Topics in Operating Systems USENIX https://www.usenix.org/conference/hotos13/

三、C類

序號(hào) 會(huì)議簡稱 會(huì)議全稱 出版社 網(wǎng)址

1

PASTE

ACMSIGPLAN-SIGSOFTWorkshoponProgram AnalysisforSoftwareToolsandEngineering

ACM

2 APLAS Asian Symposium on Programming Languages and Systems Springer

3

APSEC

Asia-Pacific Software Engineering
Conference

IEEE

4

COMPSAC

International Computer Software and Applications Conference

IEEE

5

ICECCS

IEEE International Conference on Engineering
of Complex Computer Systems

IEEE

6

SCAM

IEEE International Working Conference
on Source Code Analysis and Manipulation

IEEE

7

ICFEM

International Conference on Formal
Engineering Methods

Springer

https://www.cs.auckland.ac.nz/research/conferences
/icfem2013/

8

TOOLS

International Conference on Objects, Models,
Components, Patterns

Springer

9

PEPM

ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Programming Manipulation

ACM

10

QSIC

International Conference on Quality Software

IEEE

11

SEKE

International Conference on Software Engineering and Knowledge Engineering

KSI

12 ICSR International Conference on Software Reuse Springer

13

ICWE

International Conference on Web Engineering

Springer

14

SPIN

International SPIN Workshop on Model
Checking of Software

Springer

15

LOPSTR

International Symposium on Logic-based
Program Synthesis and Transformation

Springer

~kung-kiu/lopstr/

16

TASE

International Symposium on Theoretical Aspects of Software Engineering

IEEE

17

ICST

The IEEE International Conference on Software Testing, Verification and Validation

IEEE

18

ATVA

International Symposium on Automated Technology for Verification and Analysis

 

 

19 ESEM International Symposium on Empirical Software Engineering and Measurement ACM/IEEE

20 ISPASS IEEE International Symposium on Performance Analysis of Systems and Software IEEE

21 SCC International Conference on Service Computing IEEE

22 ICSSP International Conference on Software and System Process ISPA

 

  本文關(guān)鍵詞：程序設(shè)計(jì)，，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：243397