中国计算机学会推荐国际学术期刊 （软件工程/系统软件/程序设计语言）
一、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 and 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 | https://dblp.uni-trier.de/db/journals/iet-sen/ |
| 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 | STVR | Software Testing, Verification and Reliability | Wiley | http://dblp.uni-trier.de/db/journals/stvr/index.html |
| 13 | SPE | Software: Practice and Experience | Wiley | http://dblp.uni-trier.de/db/journals/spe/ |
中国计算机学会推荐国际学术会议 （软件工程/系统软件/程序设计语言）
一、A 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | PLDI | ACM SIGPLAN Conference on Programming Language Design & Implementation | ACM | http://dblp.uni-trier.de/db/conf/pldi/ |
| 2 | POPL | ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | ACM | http://dblp.uni-trier.de/db/conf/popl/ |
| 3 | FSE/ESEC | ACM SIGSOFT Symposium on the Foundation of Software Engineering/ European Software Engineering Conference | ACM | http://dblp.uni-trier.de/db/conf/sigsoft/ |
| 4 | SOSP | ACM Symposium on Operating Systems Principles | ACM | http://dblp.uni-trier.de/db/conf/sosp/ |
| 5 | OOPSLA | Conference on Object-Oriented Programming Systems, Languages, and Applications | ACM | http://dblp.uni-trier.de/db/conf/oopsla/ |
| 6 | ASE | International Conference on Automated Software Engineering | IEEE/ACM | http://dblp.uni-trier.de/db/conf/kbse/ |
| 7 | ICSE | International Conference on Software Engineering | ACM/IEEE | http://dblp.uni-trier.de/db/conf/icse/ |
| 8 | ISSTA | International Symposium on Software Testing and Analysis | ACM | http://dblp.uni-trier.de/db/conf/issta/ |
| 9 | OSDI | USENIX Symposium on Operating Systems Design and Implementations | USENIX | http://dblp.uni-trier.de/db/conf/osdi/ |
二、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 | ICPC | IEEE International Conference on Program Comprehension | IEEE | http://dblp.uni-trier.de/db/conf/iwpc/ |
| 4 | RE | IEEE International Requirements Engineering Conference | IEEE | http://dblp.uni-trier.de/db/conf/re/ |
| 5 | CAiSE | International Conference on Advanced Information Systems Engineering | Springer | http://dblp.unitrier.de/db/conf/caise/ |
| 6 | ICFP | International Conference on Function Programming | ACM | http://dblp.uni-trier.de/db/conf/icfp/ |
| 7 | LCTES | International Conference on Languages, Compilers and Tools for Embedded Systems | ACM | http://dblp.uni-trier.de/db/conf/lctrts/ |
| 8 | MoDELS | International Conference on Model Driven Engineering Languages and Systems | ACM，IEEE | http://dblp.uni-trier.de/db/conf/models/ |
| 9 | CP | International Conference on Principles and Practice of Constraint Programming | Springer | http://dblp.uni-trier.de/db/conf/cp/ |
| 10 | ICSOC | International Conference on Service Oriented Computing | Springer | http://dblp.uni-trier.de/db/conf/icsoc/ |
| 11 | SANER | International Conference on Software Analysis, Evolution, and Reengineering | IEEE | http://dblp.uni-trier.de/db/conf/wcre/ |
| 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 | Middleware | International Middleware Conference | ACM/IFIP/ USENIX | http://dblp.uni-trier.de/db/conf/middleware/ |
| 16 | SAS | International Static Analysis Symposium | Springer | http://dblp.uni-trier.de/db/conf/sas/ |
| 17 | ESEM | International Symposium on Empirical Software Engineering and Measurement | ACM/IEEE | http://dblp.uni-trier.de/db/conf/esem/ |
| 18 | FM | International Symposium on Formal Methods | FME | http://dblp.uni-trier.de/db/conf/fm/ |
| 19 | ISSRE | International Symposium on Software Reliability Engineering | IEEE | http://dblp.uni-trier.de/db/conf/issre/ |
| 20 | HotOS | USENIX Workshop on Hot Topics in Operating Systems | USENIX | http://dblp.uni-trier.de/db/conf/hotos/ |
12万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
