Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012 - researchr publication

researchr

You are not signed in
Sign in
Sign up

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. IEEE, 2012. [doi]

Conference: ICSE2012

Abstract is missing.

Formalisms and structuresMichael Jackson. 1 [doi]

Further steps towards efficient runtime verification: handling probabilistic cost modelsAntonio Filieri, Carlo Ghezzi. 2-8 [doi]

Language engineering as an enabler for incrementally defined formal analysesDaniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb. 9-15 [doi]

Making sense of recursion patternsPaul A. Bailes, Leighton Brough. 16-22 [doi]

Scrum goes formal: agile methods for safety-critical systemsSune Wolff. 23-29 [doi]

Revisiting modal interface automataIvo Krka, Nenad Medvidovic. 30-36 [doi]

Automated continuous quality assuranceJohannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar. 37-43 [doi]

EMFtoCSP: a tool for the lightweight verification of EMF modelsCarlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot. 44-50 [doi]

Augmenting Event-B modelling with real-time verificationAlexei Iliasov, Alexander Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala. 51-57 [doi]

runs on WebDSL