Language engineering as an enabler for incrementally defined formal analyses

Daniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb. Language engineering as an enabler for incrementally defined formal analyses. In Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe, editors, Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. pages 9-15, IEEE, 2012. [doi]

Abstract

Abstract is missing.