The objective in the area is to contribute to foundations of software engineering tasks that lead to high-quality software, including topics such as modeling languages, techniques for modeling systems (e.g. based on its observed execution), techniques to (automatically) develop software driven by system models. In addition, this area considers analysis techniques such as testing and verification of both functional and non-functional aspects of software (e.g. correctness, performance, use of computational resources, energy consumption, etc).