《中国计算机学会推荐国际学术刊物与会议-软件工程系统软件程序设计语言2011-07-22-05_58_47》由会员分享，可在线阅读，更多相关《中国计算机学会推荐国际学术刊物与会议-软件工程系统软件程序设计语言2011-07-22-05_58_47（8页珍藏版）》请在金锄头文库上搜索。
1、中国计算机学会推荐国际学术刊物 （软件工程，系统软件，程序设计语言） 一、A 类 序号 刊物简称 刊物全称 出版社 网址 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
2、 ACM http:/www.acm.org/pubs/tosem/ 4. TSE IEEE Transactions on Software Engineering IEEE Computer Society puter.org/portal/site/transactions 二、B 类 序号 刊物简称 刊物全称 出版社 网址 1. ASE Annals of Software Engineering Springer 0 2. Automated Software Engineering Springer 3. Empirical Software Engineering Springe
3、r 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 http:/www.iee.org/Publish/Journals/Profjourn/Proc/s en/ 7. IJSEKE International Journal on Software Engineering and Knowl
4、edge Engineering World Scientific .sg/journals/ijseke /ijseke.shtml 8. JPL Journal of Programming Languages Chapman & Hall http:/elib.cs.sfu.ca/Collections/CMPT/cs-journals/P- ChapmanHall/J-ChapmanHall-JPL.html 9. Journal of Software Maintenance: Research and Practice John Wiley & Sons, Ltd 391 10.
5、JSS Journal of Systems and Software Elsevier Science /journaldescription.cws_home/505732/description#d escription 11. RE Requirements Engineering Journal Springer 12. SCP Science of Computer Programming Elsevier Science .cws_home/505623/description#description 13. SPE Software: Practice and Experien
6、ce John Wiley & Sons, Ltd 752 三、C 类 序号 刊物简称 刊物全称 出版社 网址 1. ACM SIGSOFT Software Engineering Notes ACM http:/www.sigsoft.org/SEN/ 2. Computer Languages, Systems and Structures Elsevier Science .cws_home/638299/description#description 3. HOSC Higher-Order and Symbolic Computation Springer Netherlands
7、/ 4. Information and Software Technology Elsevier Science .cws_home 5. International Journal of Agent-Oriented Software Engineering InderScience Publishers 6. STTT International Journal on Software Tools for Technology Transfer Springer Berlin/Heidelberg 7. JFLP Journal of Functional and Logic Progr
8、amming The MIT Press http:/danae.uni-muenster.de/lehre/kuchen/JFLP/ 8. JFP Journal of Functional Programming Cambridge University Press http:/www.cambridge.org/journals/JFP/ 9. Journal of Logic and Computation Oxford University Press http:/logcom.oxfordjournals.org/ 10. SoSyM Software and System Mod
9、eling Springer http:/www.sosym.org/ 11. IET Software IET http:/www.ietdl.org/IET-SEN 12. Software Quality Journal Springer US rnal/11219 13. STVR Software Testing, Verification and Reliability John Wiley & Sons, Ltd 3635 中国计算机学会推荐国际学术会议 （软件工程，系统软件，程序设计语言） 一、A 类 序号 会议简称 会议全称 出版社 网址 1. FSE ACM Confere
10、nce on the Foundations of Software Engineering (inc: ESEC-FSE when held jointly) ACM http:/www.sigsoft.org/ 2. POPL ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages ACM SIGPLAN - SIGACT http:/www.cs.princeton.edu/dpw/popl/06/ 3. PLDI ACM SIGPLAN Symposium on Programming Language
11、 Design & Implementation ACM SIGPLAN http:/www.acm.org/sigs/sigplan/pldi.htm 4. SOSP ACM Symposium on Operating Systems Principles ACM http:/sosp.org/ 5. ICSE International Conference on Software Engineering ACM SIGSOFT and IEEE TCSE http:/www.icse-conferences.org/ http:/www.icse-conferences.org/sc/
12、index.html 6. OOPSLA OO Programming Systems, Languages and Applications ACM http:/www.oopsla.org/2006/ 7. OSDI USENIX Symposium on Operating Systems Design and Implementations USENIX http:/www.usenix.org/event/osdi10/ 二、B 类 序号 会议简称 会议全称 出版社 网址 1. PEPM ACM SIGPLAN Symposium on Partial Evaluation and
13、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 FM
14、E 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 ScienceIEEE http:/www2.informatik.hu-berlin.de/lics/ 7. COMPSAC International Computer Software and Applications Conference IEEE
15、puter.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 ht
16、tp:/www.dcs.shef.ac.uk/research/ilash/iccl/ 11. CONCUR International Conference on Concurrency TheoryACM SIGACT http:/www.cse.yorku.ca/concur08/ 12. MoDELS International Conference on Model Driven ACM, IEEE http:/www.umlconference.org/ Engineering Languages and Systems 13. ICSM International. Conference on Software Maintenance IEEE http:/www.icsm2008.org/ 14. ICSR International Conference on Software Reuse
