GEODES contributes two chapters to the book "Composing Model-Based Analysis Tools"
The results of the 19481 Dagstuhl Seminar on “Composing Model-Based Analysis Tools” are now available as a book.
The book contains two chapters co-authored by GEODES professors: Exploiting Results of Model-Based Analysis Tools by Houari Sahraoui, and Living with Uncertainty in Model-Based Development by Michalis Famelis.
The book offers foundations, challenges and concepts for composition and analysis in model-driven engineering, with case studies and tool examples.