Ausgabe 1/2015
Inhalt (27 Artikel)
The 2014 “State of the Journal” report
- Editorial
Robert France, Geri Georg, Bernhard Rumpe, Martin Schindler
SEFM: software engineering and formal methods
- Guest Editorial
Gilles Barthe, Alberto Pardo, Gerardo Schneider
Translating between Alloy specifications and UML class diagrams annotated with OCL
- Special Section Paper
Alcino Cunha, Ana Garis, Daniel Riesco
Verification of B trees by integration of shape analysis and interactive theorem proving
- Special Section Paper
Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif
TacoFlow: optimizing SAT program verification using dataflow analysis
- Special Section Paper
Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo F. Frias
Model checking LTL properties over ANSI-C programs with bounded traces
- Special Section Paper
Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer
Procedure-modular specification and verification of temporal safety properties
- Special Section Paper
Siavash Soleimanifard, Dilian Gurov, Marieke Huisman
Verifying B proof rules using deep embedding and automated theorem proving
- Special Section Paper
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods
- Special Section Paper
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle
Synchrony and asynchrony in conformance testing
- Special Section Paper
Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
- Special Section Paper
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
Broadcast psi-calculi with an application to wireless protocols
- Special Section Paper
Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow
A repository for scalable model management
- Special Section Paper
Javier Espinazo Pagán, Jesús Sánchez Cuadrado, Jesús García Molina
Model synchronization based on triple graph grammars: correctness, completeness and invertibility
- Special Section Paper
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel
Automatically reasoning about metamodeling
- Special Section Paper
Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian
A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance
- Special Section Paper
Gabriele Bavota, Carmine Gravino, Rocco Oliveto, Andrea De Lucia, Genoveffa Tortora, Marcela Genero, José A. Cruz-Lemus
From well-formedness to meaning preservation: model refactoring for almost free
- Special Section Paper
Friedrich Steimann
Kompren: modeling and generating model slicers
- Special Section Paper
Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux
Guest editorial to the special issue on “modelling–foundations and applications”
- Guest Editorial
Antonio Vallecillo, Juha-Pekka Tolvanen
Formal verification and validation of embedded systems: the UML-based MADES approach
- Special Section Paper
Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi
Model transformations for migrating legacy deployment models in the automotive industry
- Special Section Paper
Gehan M. K. Selim, Shige Wang, James R. Cordy, Juergen Dingel
The design space of multi-language development environments
- Special Section Paper
Rolf-Helge Pfeiffer, Andrzej Wąsowski
Model-driven engineering with domain-specific meta-modelling languages
- Special Section Paper
Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado
Resolving model inconsistencies using automated regression planning
- Special Section Paper
Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens
Environment modeling and simulation for automated testing of soft real-time embedded software
- Regular Paper
Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand
