Abstract is missing.
- Model Transformation and Induced Instance Migration: A Universal FrameworkHarald König, Michael Löwe, Christoph Schulz. 1-15 [doi]
- SPARKSkein: A Formal and Fast Reference Implementation of SkeinRoderick Chapman, Eric Botcazou, Angela Wallenburg. 16-27 [doi]
- Full Abstraction at Package Boundaries of Object-Oriented LanguagesYannick Welsch, Arnd Poetzsch-Heffter. 28-43 [doi]
- B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-designMarcel Vinicius Medeiros Oliveira, David Déharbe, Luís C. D. S. Cruz. 44-59 [doi]
- Simulation and Verification of Synchronous Set Relations in Rewriting LogicCamilo Rocha, César A. Muñoz. 60-75 [doi]
- PiStache: Implementing π-Calculus in ScalaPedro Matiello, Ana Cristina Vieira de Melo. 76-91 [doi]
- Sound and Complete Abstract Graph TransformationDominik Steenken, Heike Wehrheim, Daniel Wonisch. 92-107 [doi]
- On the Specification, Verification and Implementation of Model Transformations with Transformation ContractsChristiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim. 108-123 [doi]
- Modular Embedding of the Object Constraint Language into a Programming LanguageFabian Büttner, Martin Gogolla. 124-139 [doi]
- Algebra of Monotonic Boolean TransformersViorel Preoteasa. 140-155 [doi]
- Behavioural Preservation in Fault Tolerant PatternsDiego Machado Dias, Juliano Manabu Iyoda. 156-171 [doi]
- A Formal Approach to Fixing BugsSara Kalvala, Richard Warburton. 172-187 [doi]
- A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal LogicChristophe Chareton, Julien Brunel, David Chemouil. 188-203 [doi]