FASE 2019 - 22nd International Conference on Fundamental Approaches to Software Engineering (FASE)
Topics/Call fo Papers
FASE is concerned with the foundations on which software engineering is built. 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 on 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 of individual systems or classes of applications;
Specification, design, and implementation of particular classes of systems: (self-)adaptive, collaborative, embedded, distributed, mobile, pervasive, cyber-physical or service-oriented applications;
Software quality: (static or run-time) validation and verification of functional and non-functional software properties using theorem proving, model checking, testing, analysis, simulation, refinement methods, metrics or visualization techniques;
Model-driven development and model transformation: meta-modelling, design and semantics of domain-specific languages, consistency and transformation 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, or aspect-orientation.
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 of individual systems or classes of applications;
Specification, design, and implementation of particular classes of systems: (self-)adaptive, collaborative, embedded, distributed, mobile, pervasive, cyber-physical or service-oriented applications;
Software quality: (static or run-time) validation and verification of functional and non-functional software properties using theorem proving, model checking, testing, analysis, simulation, refinement methods, metrics or visualization techniques;
Model-driven development and model transformation: meta-modelling, design and semantics of domain-specific languages, consistency and transformation 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, or aspect-orientation.
Other CFPs
- 28th European Symposium on Programming (ESOP)
- 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
- 2019 International Symposium on Automated Technology for Verification and Analysis
- The 5th Int'l Conference on Biomaterials and Applications (ICBA 2019)
- The 4th Int'l Conference on Materials Processing Technology (MPT 2019)
Last modified: 2018-12-29 20:54:24