中國計算機學會推薦國際學術會議和期刊目錄——軟體工程/系統軟體/程式設計語言
本目錄轉自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】
相關文章
- UI設計需要學會哪些軟體?UI
- Mac軟體推薦：Soulver——會“聽話”的計算器Mac
- 軟體設計師：計算機系統知識計算機
- 1968年北約軟體工程大會語錄軟體工程
- 【軟體工程】軟體設計之總體設計軟體工程
- 如何學會函數語言程式設計函數程式設計
- 頂級程式設計人員推薦軟體程式設計
- 軟體設計混淆概念書目錄
- 軟體吃軟體，程式設計工作會越來越多嗎？程式設計
- 軟體設計哲學
- 軟體工程——程式導向的軟體設計方法軟體工程
- 中國的頂級軟體程式設計工程師和歐美的頂級軟體程式設計工程師差距有多大？程式設計工程師
- Python程式設計會用到哪些軟體?Python基礎學習Python程式設計
- 《軟體故事》：軟體和程式設計藝術的興起程式設計
- 會計CRM系統軟體提高公司管理效率
- 關於數學和軟體設計
- 軟體設計師：程式設計語言基礎知識程式設計
- 軟體工程第二次作業——結對程式設計心得體會軟體工程程式設計
- 在計算機學習，善用“筆記軟體”計算機筆記
- 國學思想之於軟體架構設計架構
- 軟體工程設計之四則運算軟體工程
- 軟考–軟體設計師薦
- 程式設計方面學術學習的推薦程式設計
- 軟體工程——軟體計劃軟體工程
- Go在谷歌：以軟體工程為目的的語言設計Go谷歌軟體工程
- [程式設計語言]-00:目錄程式設計
- 軟體工程學習後的一些體會--------兩週軟體工程
- 中國計算機軟體專業技術資格和水平考試-參考書目 (轉)計算機
- Maple—多領域系統級建模模擬和科學計算軟體
- 軟體工程大眾化：開發者經驗（DX）和網際網路計算機軟體工程計算機
- Wolfram Mathematica 13(科學計算軟體)
- 軟體系統的設計和實現
- 第十一屆中國國際軟體質量工程（iSQE）峰會圓滿召開
- 一點看法, 一點體會 -- 國外與國內，數學與計算機 (轉)計算機
- 好程式設計師雲端計算學習路線分享軟體包管理程式設計師
- 書評：軟體設計哲學
- 想學軟體設計如何起步
- 軟體設計與哲學,做人