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]