International Summer School on
Tool-based Rigorous Engineering
of Software Systems
of Component-based Systems
Registration is still open -- go here to register.
STRESS -- Rigorous Engineering through Formal ApproachesThe International Summer School on Foundational Aspects of Software Engineering series aims 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 between 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 theme of the 2006 Summer School will be Model-driven Development of Component-based Systems and will feature lecturers from academic and industry with significant experience in software architectures, modeling tools, web services, and software product lines. Lectures will emphasize the use of model-driven development and software architecture tools and industry-relevant challenge problems.