05-软件工程与系统软件-CCF-A-B-C
本页从 CCF “软件工程、系统软件、程序设计语言”官方分类页中抽取软件工程、系统软件、形式化方法、维护测试与服务软件相关条目。
来源：CCF 官方分类页 链接。
说明：主页/入口 列优先保留稳定的官方或权威系列入口；如果某些会议官网按年份频繁变化，这里沿用 CCF 分类页给出的稳定地址。
A类列表
期刊
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| TOSEM | ACM Transactions on Software Engineering and Methodology | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| TSE | IEEE Transactions on Software Engineering | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| TSC | IEEE Transactions on Services Computing | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
会议
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| FSE | ACM International Conference on the Foundations of Software Engineering | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| SOSP | ACM Symposium on Operating Systems Principles | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ASE | International Conference on Automated Software Engineering | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ICSE | International Conference on Software Engineering | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ISSTA | International Symposium on Software Testing and Analysis | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| OSDI | USENIX Symposium on Operating Systems Design and Implementations | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| FM | International Symposium on Formal Methods | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
B类列表
期刊
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| ESE | Empirical Software Engineering | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| IETS | IET Software | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| IST | Information and Software Technology | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| - | Journal of Software: Evolution and Process | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| JSS | Journal of Systems and Software | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| RE | Requirements Engineering | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| SCP | Science of Computer Programming | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| SoSyM | Software and Systems Modeling | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| STVR | Software Testing, Verification and Reliability | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| SPE | Software: Practice and Experience | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
会议
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| ETAPS | European Joint Conferences on Theory and Practice of Software | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ICPC | IEEE International Conference on Program Comprehension | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| RE | IEEE International Requirements Engineering Conference | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| CAiSE | International Conference on Advanced Information Systems Engineering | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| MoDELS | ACM/IEEE International Conference on Model Driven Engineering Languages and Systems | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ICSOC | International Conference on Service Oriented Computing | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| SANER | IEEE International Conference on Software Analysis, Evolution,and Reengineering | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ICSME | International Conference on Software Maintenance and Evolution | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ICWS | IEEE International Conference on Web Services | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| Middleware | International Middleware Conference | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ESEM | International Symposium on Empirical Software Engineering and Measurement | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ISSRE | IEEE International Symposium on Software Reliability Engineering | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| HotOS | USENIX Workshop on Hot Topics in Operating Systems | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
C类列表
期刊
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| IJSEKE | International Journal of Software Engineering and Knowledge Engineering | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| STTT | International Journal of Software Tools for Technology Transfer | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| JWE | Journal of Web Engineering | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| SOCA | Service Oriented Computing and Applications | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
| SQJ | Software Quality Journal | 期刊 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际期刊。 | 主页/入口 |
会议
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| APSEC | Asia-Pacific Software Engineering Conference | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| EASE | International Conference on Evaluation and Assessment in Software Engineering | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ICECCS | International Conference on Engineering of Complex Computer Systems | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ICST | IEEE International Conference on Software Testing, Verification and Validation | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ISPASS | IEEE International Symposium on Performance Analysis of Systems and Software | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| SCAM | IEEE International Working Conference on Source Code Analysis and Manipulation | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| COMPSAC | International Computer Software and Applications Conference | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ICFEM | International Conference on Formal Engineering Methods | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| SSE | IEEE International Conference on Software Services Engineering | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ICSSP | International Conference on Software and System Process | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| SEKE | International Conference on Software Engineering and Knowledge Engineering | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| QRS | International Conference on Software Quality, Reliability and Security | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ICSR | International Conference on Software Reuse | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ICWE | International Conference on Web Engineering | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| SPIN | International Symposium on Model Checking of Software | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| ATVA | International Symposium on Automated Technology for Verification and Analysis | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| TASE | Theoretical Aspects of Software Engineering Conference | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| MSR | Mining Software Repositories | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| REFSQ | Requirements Engineering: Foundation for Software Quality | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| WICSA | Working IEEE/IFIP Conference on Software Architecture | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| Internetware | Asia-Pacific Symposium on Internetware | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |
| RV | International Conference on Runtime Verification | 会议 | 软件工程、系统软件、软件维护测试或形式化方法方向的重要国际会议。 | 主页/入口 |