Submissions should make novel contributions to making software engineering a more mature and soundly-based discipline.
Contributions should be supported by appropriate arguments and validation. Contributions that combine the development of
conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We
welcome contributions to all such fundamental approaches, including:
- software engineering as an engineering discipline, including its interaction with and impact on society and economics;
- requirements engineering: capture, consistency, and change management of software requirements;
- software architectures: description and analysis of the architecture, e.g., SOA, microservice architectures,
model-driven architectures, or software product lines;
- specification, design, and implementation of particular classes of systems: (self-)adaptive, autonomous,
collaborative, intelligent, embedded, distributed, mobile, pervasive, cyber-physical, data-centric, or
service-oriented applications;
- applications of AI to software engineering, including search-based and learning-based approaches;
- software engineering foundations for AI-based systems;
- software quality: (static or run-time) validation and verification of functional and non-functional software
properties (including security and data privacy) using techniques such as theorem proving, model checking, testing,
analysis, simulation, refinement methods, metrics or visualization techniques;
- model-driven engineering: model transformation, meta-modelling, design and semantics of domain-specific languages,
consistency and synchronization of models, generative architectures;
- software processes: support for iterative, agile, and open source development;
- software evolution: refactoring, reverse and re-engineering, configuration management and architectural change.