13 registros retornados

• Harald König,  Michael Löwe,  Christoph Schulz.  Model Transformation and Induced Instance Migration: A Universal Framework.  1 - 15

• Roderick Chapman,  Eric Botcazou,  Angela Wallenburg.  SPARKSkein: A Formal and Fast Reference Implementation of Skein.  16 - 27

• Yannick Welsch,  Arnd Poetzsch-Heffter.  Full Abstraction at Package Boundaries of Object-Oriented Languages.  28 - 43

• Marcel Vinicius Medeiros Oliveira,  David B. P. Déharbe,  Luís C. D. S. Cruz.  B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design.  44 - 59

• Camilo Rocha,  César Muñoz.  Simulation and Verification of Synchronous Set Relations in Rewriting Logic.  60 - 75

• Pedro Matiello,  Ana C. V. de Melo.  PiStache: Implementing ?-Calculus in Scala.  76 - 91

• Dominik Steenken,  Heike Wehrheim,  Daniel Wonisch.  Sound and Complete Abstract Graph Transformation.  92 - 107

• Christiano Braga,  Roberto Menezes,  Thiago Comicio,  Cassio Santos,  Edson Landim.  On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts.  108 - 123

• Fabian Büttner,  Martin Gogolla.  Modular Embedding of the Object Constraint Language into a Programming Language.  124 - 139

• Viorel Preoteasa.  Algebra of Monotonic Boolean Transformers.  140 - 155

• Diego Machado Dias,  Juliano Manabu Iyoda.  Behavioural Preservation in Fault Tolerant Patterns.  156 - 171

• Sara Kalvala,  Richard Warburton.  A Formal Approach to Fixing Bugs.  172 - 187

• Christophe Chareton,  Julien Brunel,  David Chemouil.  A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic.  188 - 203