会议信息
FSEN 2027: IPM International Conference on Fundamentals of Software Engineering
请登录查看会议网址
截稿日期: |
|
通知日期: |
|
会议日期: |
2027-05-24 |
会议地点: |
Enschede, Netherlands |
届数: |
16 |
浏览: 17704 关注: 2 参加: 1
征稿
Topics of interest include but are not limited to:
Models of programs and systems
Software specification, validation and verification
Software architectures and their description languages
Object and multi-agent systems
Coordination and feature interaction
Integration of formal and informal methods
Integration of different formal methods
Component-based development
Service-oriented development
Model checking and theorem proving
Software and hardware verification
CASE tools and tool integration
Applications to industrial cases
最后更新 Dou Sun 在 2026-03-22
相关会议
| CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| a | a* | a1 | ICSE | International Conference on Software Engineering | 2026-06-23 | 2026-10-20 | 2027-04-25 |
| a | a | a1 | ASE | International Conference on Automated Software Engineering | 2026-03-26 | 2026-05-25 | 2026-10-12 |
| c | a | b4 | EASE | International Conference on Evaluation and Assessment in Software Engineering | 2026-01-16 | 2026-03-13 | 2026-06-09 |
| a | a* | a1 | FSE | ACM SIGSOFT Symposium on the Foundations of Software Engineering | 2025-09-11 | 2025-11-21 | 2026-07-05 |
| c | c | b3 | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-03-01 | 2025-04-01 | 2025-07-14 |
| b | a2 | FASE | Fundamental Approaches to Software Engineering | 2024-10-10 | 2024-12-20 | 2025-05-03 | |
| a | a* | a2 | ESEC | European Software Engineering Conference | 2022-03-10 | 2022-06-14 | 2022-11-14 |
| b | b1 | CBSE | International ACM SIGSOFT Symposium on Component Based Software Engineering | 2016-01-18 | 2016-02-15 | 2016-04-05 | |
| c | SE | International Conference on Software Engineering | 2012-09-26 | 2012-11-15 | 2013-02-11 | ||
| c | b3 | AOSE | International Workshop on Agent-Oriented Software Engineering | 2012-04-06 | 2012-06-04 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| Materials Science and Engineering: R: Reports | 26.8 | Elsevier | 0927-796X | |
| a | ACM Transactions on Software Engineering and Methodology | 6.2 | ACM | 1049-331x |
| a | IEEE Transactions on Software Engineering | 5.6 | IEEE | 0098-5589 |
| Integrated Computer-Aided Engineering | 5.3 | IOS Press | 1069-2509 | |
| Materials Science and Engineering: B | 4.6 | Elsevier | 0921-5107 | |
| b | Empirical Software Engineering | 3.6 | Springer | 1382-3256 |
| b | Requirements Engineering | 3.3 | Springer | 0947-3602 |
| b | Automated Software Engineering | 3.1 | Springer | 0928-8910 |
| c | Natural Language Engineering | 1.9 | Cambridge University Press | 1351-3249 |
| Journal of Electrical and Computer Engineering | 1.200 | Hindawi | 2090-0147 |