中国计算机学会推荐国际学术会议和期刊目录——软件工程/系统软件/程序设计语言
本目录转自http://www.ccf.org.cn/sites/ccf/biaodan.jsp?contentId=2567814757404，特此说明！
(软件工程，系统软件，程序设计语言）
序号 |
刊物简称 |
刊物全称 |
出版社 |
网址 |
|
1
|
TACO |
ACM Transactions on Architecture and Code Optimization |
ACM |
http://taco.acm.org/ |
|
2
|
TOPLAS |
ACM Transactions on Programming Languages & Systems |
ACM |
http://www.acm.org/toplas |
|
3
|
TOSEM |
ACM Transactions on Software Engineering Methodology |
ACM |
http://www.acm.org/pubs/tosem/ |
|
4
|
TSE |
IEEE Transactions on Software Engineering |
IEEE |
http://www.computer.org/portal/site/transactions |
序号 |
刊物简称 |
刊物全称 |
出版社 |
网址 |
| 1 | ASE |
Annals of Software Engineering |
Springer |
http://www.springer.com/computer/swe/journal/10480 |
| 2 |
|
Automated Software Engineering |
Springer |
http://www.springer.com/computer/ai/journal/10515 |
| 3 |
|
Empirical Software Engineering |
Springer |
http://www.springerlink.com/content/1573-7616/ |
| 4 |
|
Formal Aspects of Computing |
Springer London |
http://www.springerlink.com/content/1433-299X/ |
| 5 |
|
Formal Methods in System Design |
Springer Netherlands |
http://www.springerlink.com/content/1572-8102/ |
| 6 |
|
IEE Proceedings – Software |
the Institution of Engineering and Technology |
http://www.iee.org/Publish/Journals/Profjourn/Proc/sen/ |
| 7 | IJSEKE |
International Journal on Software |
World Scientific |
http://ejournals.wspc.com.sg/journals/ijseke |
| 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 |
http://www3.interscience.wiley.com/cgi-bin/jhome/5391 |
| 10 | JSS |
Journal of Systems and Software |
Elsevier Science |
http://www.elsevier.com/wps/find/journaldescription. |
| 11 | RE |
Requirements Engineering Journal |
Springer |
http://www.springerlink.com/content/1432-010X/ |
| 12 | SCP |
Science of Computer Programming |
Elsevier Science |
http://www.elsevier.com/wps/find/journaldescription.cws
_home/505623/description#description |
| 13 | SPE |
Software: Practice and Experience |
John Wiley & Sons, Ltd |
http://www3.interscience.wiley.com/cgi-bin/jhome/1752 |
序号 |
刊物简称 |
刊物全称 |
出版社 |
网址 |
| 1 | ACM SIGSOFT Software Engineering Notes |
ACM |
http://www.sigsoft.org/SEN/ |
|
| 2 |
|
Computer Languages, Systems and Structures |
Elsevier |
http://www.elsevier.com/wps/find/journaldescription |
| 3 | HOSC |
Higher-Order and Symbolic Computation |
Springer |
http://springerlink.metapress.com/content/1573-0557/ |
| 4 |
|
Information and Software Technology |
Elsevier |
http://www.elsevier.com/wps/find/journaldescription. |
| 5 |
|
International Journal of Agent-Oriented Software Engineering |
Inder |
http://www.inderscience.com/ijaose/ |
| 6 | STTT |
International Journal on Software Tools for Technology Transfer |
Springer |
http://www.springerlink.com/content/1433-2787/ |
| 7 | JFLP |
Journal of Functional and Logic Programming |
The MIT |
http://danae.uni-muenster.de/lehre/kuchen/JFLP/ |
| 8 | JFP |
Journal of Functional Programming |
Cambridge |
http://www.cambridge.org/journals/JFP/ |
| 9 |
|
Journal of Logic and Computation |
Oxford |
http://logcom.oxfordjournals.org/ |
| 10 | SoSyM |
Software and System Modeling |
Springer |
http://www.sosym.org/ |
| 11 |
|
IET Software |
IET |
http://www.ietdl.org/IET-SEN |
| 12 |
|
Software Quality Journal |
Springer US |
http://www.springer.com/computer/programming/ |
| 13 | STVR |
Software Testing, Verification and Reliability |
John Wiley |
http://www3.interscience.wiley.com/cgi-bin/jhome/ |
(软件工程，系统软件，程序设计语言）
一、A类
序号 |
会议简称 |
会议全称 |
出版社 |
网址 |
| 1 | FSE |
ACM Conference on the Foundations of |
ACM |
http://www.sigsoft.org/ |
| 2 | POPL |
ACM SIGPLAN - SIGACT Symposium |
ACM SIGPLAN - SIGACT |
http://www.cs.princeton.edu/~dpw/popl/06/ |
| 3 | PLDI |
ACM SIGPLAN Symposium on Programming |
ACM SIGPLAN |
http://www.acm.org/sigs/sigplan/pldi.htm |
| 4 | SOSP |
ACM Symposium on Operating Systems |
ACM |
http://sosp.org/ |
| 5 | ICSE |
International Conference on Software |
ACM SIGSOFT and IEEE TCSE |
http://www.icse-conferences.org/ |
| 6 | OOPSLA |
OO Programming Systems, Languages and |
ACM |
http://www.oopsla.org/2006/ |
| 7 | OSDI |
USENIX Symposium on Operating Systems |
USENIX |
http://www.usenix.org/event/osdi10/ |
二、B类
序号 |
会议简称 |
会议全称 |
出版社 |
网址 |
|
| 1 | PEPM |
ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Programming Manipulation |
ACM SIGPLAN |
http://www.cis.ksu.edu/santos/pepm06/ |
|
| 2 | ECOOP |
European Conference on Object-Oriented Programming |
AITO |
http://ecoop.org/ |
|
| 3 | ESEC |
European Software Engineering Conference |
ACM |
http://www.idt.mdh.se/esec-fse-2007/ |
|
| 4 | FM |
Formal Methods, World Congress |
FME |
http://www.fmeurope.org/ |
|
| 5 | RE |
IEEE International Requirement Engineering Conference |
IEEE |
http://sites.upc.edu/~www-gessi/re08/ |
|
| 6 | LICS |
IEEE Symposium on Logic in Computer Science |
IEEE |
http://www2.informatik.hu-berlin.de/lics/ |
|
| 7 | COMPSAC |
International Computer Software and Applications Conference |
IEEE |
http://conferences.computer.org/compsac/2008/ |
|
| 8 | ASE |
International Conference on Automated Software Engineering |
IEEE/ACM |
http://www.ase.org.uk/ |
|
| 9 | CC |
International Conference on Compiler Construction |
Springer |
http://www.sable.mcgill.ca/~hendren/CC2008/ |
|
| 10 | COLING |
International Conference on Computational Linguistics |
ICCL |
http://www.dcs.shef.ac.uk/research/ilash/iccl/ |
|
| 11 | CONCUR |
International Conference on Concurrency Theory |
ACM SIGACT |
http://www.cse.yorku.ca/concur08/ |
|
| 12 | MoDELS |
International Conference on Model Driven Engineering Languages and Systems |
ACM, IEEE |
http://www.umlconference.org/ |
|
| 13 | ICSM |
International. Conference on Software Maintenance |
IEEE |
http://www.icsm2008.org/ |
|
| 14 | ICSR |
International Conference on Software Reuse |
Springer |
http://www.icsrc.org/ |
|
| 15 | ICFP |
International Conf on Function Programming |
ACM |
http://www.cs.luc.edu/icfp/ |
|
| 16 | SAS |
International Static Analysis Symposium |
Springer |
http://www.sas.com/events/dmconf/m2005/ |
|
| 17 | ISSTA |
International Symposium on Software Testing and Analysis |
ACM SIGSOFT |
http://issta08.rutgers.edu/ |
|
三、C类
序号 |
会议简称 |
会议全称 |
出版社 |
网址 |
| 1 | PASTE |
ACM SIGPLAN-SIGSOFT Workshop on |
ACM |
http://groups.csail.mit.edu/pag/paste2005/ |
| 2 | APSEC |
Asia-Pacific Software Engineering Conference |
Conference Publishing Services (CPS) |
http://www.apsec-conferences.org |
| 3 | CAV |
Computer Aided Verification |
Springer |
http://www.cav-conference.org/ |
| 4 | ESOP |
European Symposium on Programming |
Springer |
http://esop2008.doc.ic.ac.uk/ |
| 5 | ICECCS |
IEEE International Conference on Engineering |
IEEE |
http://www.iceccs.org/ |
| 6 | SCAM |
IEEE International Working Conference |
IEEE |
http://www.icsrc.org/ |
| 7 | CAiSE |
International Conference on Advanced |
Springer |
http://www.tudor.lu/caise06 |
| 8 | EMSOFT |
International Conference on Embedded |
ACM |
http://www.emsoft.org/ |
| 9 | ICFEM |
International Conference on Formal |
Springer |
http://www.iist.unu.edu/icfem06/ |
| 10 | FoSSaCS |
International Conference on Foundations of |
Springer |
http://fossacs06.ru.is/ |
| 11 | TOOLS |
International Conference on Objects, Models, |
Springer |
http://tools.ethz.ch/ |
| 12 | CP |
International Conference on Principles and |
Springer |
http://www.sciences.univ-nantes.fr/cp06/ |
| 13 |
QSIC
|
International Conference on Quality Software |
IEEE |
http://cms.brookes.ac.uk/staff/HongZhu/QSIC2008/ |
| 14 | RTA |
International Conference on Rewriting |
Springer |
http://www.easychair.org/FLoC-06/RTA.html |
| 15 | SEKE |
International Conference on Software Engineering and Knowledge Engineering |
KSI |
http://www.ksi.edu/seke/seke06.html |
| 16 | TACAS |
International Conference on Tools and |
Springer |
http://www.doc.ic.ac.uk/tacas07/ |
| 17 | SPIN |
International SPIN Workshop on Model |
Springer |
http://compilers.cs.ucla.edu/spin08/ |
| 18 | LOPSTR |
International Symposium on Logic-based |
Springer |
http://www.cs.man.ac.uk/~kung-kiu/lopstr/ |
| 19 | FATES |
International Workshop on Formal |
Springer |
http://www-higashi.ist.osaka-u.ac.jp/TESTCOM-FATES08/ |
| 20 | IWSSD |
International Workshop on Software |
IEEE |
http://www.ics.uci.edu/~irus/iwssd/index.html |
| 21 | ICST |
The IEEE International Conference on |
IEEE |
【作者：刘伟 http://blog.csdn.net/lovelion】