Welcome
The goals of Foundational Aspects of Software Engineering International Summer Schools are to provide top-quality lectures and innovative pedagogical material that provide young researchers with
- instruction in existing and emerging formal methods and software engineering techniques that are tool-supported and process-oriented,
- insights into how software is developed in the real world, including emphasis on domains such as safety/mission-critical software and embedded systems where the development effort associated with tool-based formal methods promises greatest returns,
- case-studies and example domains in which formal methods have been successfully transitioned into actual development along with insights in how to bridge the gap research tools and actual development processes,
- additional pedagogical resources and personal contacts that they can explore for the purpose of increasing the impact of their research.
The topics covered by lectures in each summer school will emphasize well-grounded innovative formal methods technologies and software development tools and practices, introduce emerging domains and applications areas which can benefit from formal methods and will communicate challenges and unanticipated aspects of real-world software development.
Regardless of particular themes chosen for yearly summer schools, the lectures will stress the use of formal methods techniques such as those from areas listed below can be applied to increase the effectiveness of software development.
- Static Analysis
- Dynamic Analysis and Run-time Monitoring
- Software Model Checking
- Applications of Theorem Proving and Decision
- Applications of SAT techniques
- Testing principles including Model-driven and
- Specification-based Testing