本目录转自http://www.ccf.org.cn/sites/ccf/biaodan.jsp?contentId=2567814757404,特此说明!
(软件工程,系统软件,程序设计语言)
序号 |
刊物简称 |
刊物全称 |
出版社 |
网址 |
1
|
TACO |
ACM Transactions on Architecture and Code Optimization |
ACM |
|
2
|
TOPLAS |
ACM Transactions on Programming Languages & Systems |
ACM |
|
3
|
TOSEM |
ACM Transactions on Software Engineering Methodology |
ACM |
|
4
|
TSE |
IEEE Transactions on Software Engineering |
IEEE |
序号 |
刊物简称 |
刊物全称 |
出版社 |
网址 |
1 |
ASE |
Annals of Software Engineering |
||
2 |
|
Automated Software Engineering |
Springer |
|
3 |
|
Empirical Software Engineering |
Springer |
|
4 |
|
Formal Aspects of Computing |
Springer London |
|
5 |
|
Formal Methods in System Design |
Springer Netherlands |
|
6 |
|
IEE Proceedings – Software |
the Institution of Engineering and Technology |
|
7 |
IJSEKE |
International Journal on Software |
World Scientific |
|
8 |
JPL |
Journal of Programming Languages |
Chapman & Hall |
http://elib.cs.sfu.ca/Collections/CMPT/cs-journals/ |
9 |
|
Journal of Software Maintenance: Research |
John Wiley & Sons, Ltd |
|
10 |
JSS |
Journal of Systems and Software |
Elsevier Science |
http://www.elsevier.com/wps/find/journaldescription. |
11 |
RE |
Requirements Engineering Journal |
Springer |
|
12 |
SCP |
Science of Computer Programming |
Elsevier Science |
|
13 |
SPE |
Software: Practice and Experience |
John Wiley & Sons, Ltd |
序号 |
刊物简称 |
刊物全称 |
出版社 |
网址 |
1 |
ACM SIGSOFT Software Engineering Notes |
ACM |
||
2 |
|
Computer Languages, Systems and Structures |
Elsevier |
http://www.elsevier.com/wps/find/journaldescription |
3 |
HOSC |
Higher-Order and Symbolic Computation |
Springer |
|
4 |
|
Information and Software Technology |
Elsevier |
http://www.elsevier.com/wps/find/journaldescription. |
5 |
|
International Journal of Agent-Oriented Software Engineering |
Inder |
|
6 |
STTT |
International Journal on Software Tools for Technology Transfer |
Springer |
|
7 |
JFLP |
Journal of Functional and Logic Programming |
The MIT |
|
8 |
JFP |
Journal of Functional Programming |
Cambridge |
|
9 |
|
Journal of Logic and Computation |
Oxford |
|
10 |
SoSyM |
Software and System Modeling |
Springer |
|
11 |
|
IET Software |
IET |
|
12 |
|
Software Quality Journal |
Springer US |
|
13 |
STVR |
Software Testing, Verification and Reliability |
John Wiley |
(软件工程,系统软件,程序设计语言)
一、A类
序号 |
会议简称 |
会议全称 |
出版社 |
网址 |
1 |
FSE |
ACM Conference on the Foundations of |
ACM |
|
2 |
POPL |
ACM SIGPLAN - SIGACT Symposium |
||
3 |
PLDI |
ACM SIGPLAN Symposium on Programming |
||
4 |
SOSP |
ACM Symposium on Operating Systems |
ACM |
|
5 |
ICSE |
International Conference on Software |
ACM SIGSOFT and IEEE TCSE |
http://www.icse-conferences.org/ |
6 |
OOPSLA |
OO Programming Systems, Languages and |
ACM |
|
7 |
OSDI |
USENIX Symposium on Operating Systems |
USENIX |
二、B类
序号 |
会议简称 |
会议全称 |
出版社 |
网址 |
|
1 |
PEPM |
ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Programming Manipulation |
ACM SIGPLAN |
||
2 |
ECOOP |
European Conference on Object-Oriented Programming |
|||
3 |
ESEC |
European Software Engineering Conference |
ACM |
||
4 |
FM |
Formal Methods, World Congress |
FME |
||
5 |
RE |
IEEE International Requirement Engineering Conference |
IEEE |
||
6 |
LICS |
IEEE Symposium on Logic in Computer Science |
IEEE |
||
7 |
COMPSAC |
International Computer Software and Applications Conference |
IEEE |
||
8 |
ASE |
International Conference on Automated Software Engineering |
IEEE/ACM |
||
9 |
CC |
International Conference on Compiler Construction |
Springer |
||
10 |
COLING |
International Conference on Computational Linguistics |
ICCL |
||
11 |
CONCUR |
International Conference on Concurrency Theory |
ACM SIGACT |
||
12 |
MoDELS |
International Conference on Model Driven Engineering Languages and Systems |
ACM, IEEE |
||
13 |
ICSM |
International. Conference on Software Maintenance |
IEEE |
||
14 |
ICSR |
International Conference on Software Reuse |
Springer |
||
15 |
ICFP |
International Conf on Function Programming |
ACM |
||
16 |
SAS |
International Static Analysis Symposium |
Springer |
||
17 |
ISSTA |
International Symposium on Software Testing and Analysis |
ACM SIGSOFT |
三、C类
序号 |
会议简称 |
会议全称 |
出版社 |
网址 |
1 |
PASTE |
ACM SIGPLAN-SIGSOFT Workshop on |
ACM |
|
2 |
APSEC |
Asia-Pacific Software Engineering Conference |
Conference Publishing Services (CPS) |
|
3 |
CAV |
Computer Aided Verification |
Springer |
|
4 |
ESOP |
European Symposium on Programming |
Springer |
|
5 |
ICECCS |
IEEE International Conference on Engineering |
IEEE |
|
6 |
SCAM |
IEEE International Working Conference |
IEEE |
|
7 |
CAiSE |
International Conference on Advanced |
Springer |
|
8 |
EMSOFT |
International Conference on Embedded |
ACM |
|
9 |
ICFEM |
International Conference on Formal |
Springer |
|
10 |
FoSSaCS |
International Conference on Foundations of |
Springer |
|
11 |
TOOLS |
International Conference on Objects, Models, |
Springer |
|
12 |
CP |
International Conference on Principles and |
Springer |
|
13 |
QSIC
|
International Conference on Quality Software |
IEEE |
|
14 |
RTA |
International Conference on Rewriting |
Springer |
|
15 |
SEKE |
International Conference on Software Engineering and Knowledge Engineering |
KSI |
|
16 |
TACAS |
International Conference on Tools and |
Springer |
|
17 |
SPIN |
International SPIN Workshop on Model |
Springer |
|
18 |
LOPSTR |
International Symposium on Logic-based |
Springer |
|
19 |
FATES |
International Workshop on Formal |
Springer |
|
20 |
IWSSD |
International Workshop on Software |
IEEE |
|
21 |
ICST |
The IEEE International Conference on |
IEEE |
【作者:刘伟 http://blog.csdn.net/lovelion】