中國計算機學會推薦國際學術會議和期刊目錄——軟體工程/系統軟體/程式設計語言
本目錄轉自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】
相關文章
- Mac軟體推薦：Soulver——會“聽話”的計算器Mac
- UI設計需要學會哪些軟體?UI
- 中國的頂級軟體程式設計工程師和歐美的頂級軟體程式設計工程師差距有多大？程式設計工程師
- 計算機語言學國際大會COLING 2018公佈9篇最佳論文計算機
- 軟體設計師：計算機系統知識計算機
- Python程式設計會用到哪些軟體?Python基礎學習Python程式設計
- MATLAB R2023a 數學計算和程式設計軟體 mac版Matlab程式設計Mac
- 軟體吃軟體，程式設計工作會越來越多嗎？程式設計
- 2020年第十一屆中國國際軟體質量工程（iSQE）峰會議題徵集啟動
- MATLAB R2022a for Mac(專業程式設計和數學計算軟體)MatlabMac程式設計
- Mac專業程式設計和數學計算軟體：MATLAB R2022aMac程式設計Matlab
- 軟體設計師：程式設計語言基礎知識程式設計
- 計算機輔助設計軟體AutoCAD 2024的系統要求計算機
- MATLAB R2022b Mac(專業程式設計和數學計算軟體)MatlabMac程式設計
- 第十一屆中國國際軟體質量工程（iSQE）峰會圓滿召開
- 會計CRM系統軟體提高公司管理效率
- 軟體設計師：計算機網路計算機網路
- 第四屆智慧電力與系統國際學術會議（ICIPS 2024）
- MATLAB R2023b for Mac(程式設計和數學計算軟體) 啟用版MatlabMac程式設計
- MATLAB R2023b for Mac 專業的程式設計和數學計算軟體MatlabMac程式設計
- 功能強大的程式設計和數學計算軟體：MATLAB R2023b程式設計Matlab
- Maple—多領域系統級建模模擬和科學計算軟體
- 5分鐘學會 Python 函數語言程式設計Python函數程式設計
- 2017中國軟體技術大會圓滿閉幕
- 計算機學科國內外會刊評級計算機
- Wolfram Mathematica 13(科學計算軟體)
- 2020年第十一屆中國國際軟體質量工程（iSQE）峰會即將召開
- 6款國產化作業系統Office辦公軟體推薦！作業系統
- Google：2021年全球學術期刊和會議影響力排名Go
- 軟體設計師：軟體工程基礎知識軟體工程
- 書評：軟體設計哲學
- 嵌入式系統軟體及程式語言
- 家居景觀設計軟體推薦DreamPlan Plus for MacMac
- 程式語言設計，程式設計哲學程式設計
- 好程式設計師雲端計算學習路線分享軟體包管理程式設計師
- Express Accounts for Mac - 會計計賬軟體ExpressMac
- 軟體工程是教會不懂寫程式的人開發軟體嗎?軟體工程
- 計算機的硬體與軟體計算機
- 軟體工程大眾化：開發者經驗（DX）和網際網路計算機軟體工程計算機