From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages

With the increased use of model-based techniques and the provision of domain-specific languages, the focus of the development process is shifting from the implementation to the analysis and the design phase. With this shift from the general-purpose, technical-oriented solution space to the application-specific, domain-oriented problem space, new possibilities of application open up for rigorous engineering techniques, both on the analysis and on the synthesis side of applications.