Dagstuhl Seminar Proceedings: Rigorous Methods for Software Construction and Analysis 2007

Jean-Raymond Abrial, Uwe Glässer (Eds.): Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006. Dagstuhl Seminar Proceedings 06191 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Michael Leuschel, Jens Bendisposto:
Animating and Model Checking B Specifications with Higher-Order Recursive Functions.
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Exploiting the ASM method within the Model-driven Engineering paradigm.
Jean-Raymond Abrial, Uwe Glässer:
06191 Summary -- Rigorous Methods for Software Construction and Analysis.
Jean-Raymond Abrial, Uwe Glässer:
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis.