


default search action
SFM 2012: Bertinoro, Italy
- Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio:
Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures. Lecture Notes in Computer Science 7320, Springer 2012, ISBN 978-3-642-30981-6 - Bran Selic:
The Less Well Known UML - A Short User Guide. 1-20 - Suzana Andova, Mark G. J. van den Brand
, Luc J. P. Engelen
, Tom Verhoeff
:
MDE Basics with a DSL Focus. 21-57 - Jordi Cabot
, Martin Gogolla:
Object Constraint Language (OCL): A Definitive Guide. 58-90 - Davide Di Ruscio
, Romina Eramo
, Alfonso Pierantonio
:
Model Transformations. 91-136 - Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel
, Sebastian Wätzoldt:
Graph Transformations for MDE, Adaptation, and Models at Runtime. 137-191 - Guido de Caso, Víctor A. Braberman, Diego Garbervetsky
, Sebastián Uchitel
:
Abstractions for Validation in Action. 192-218 - Dorina C. Petriu
, Mohammad Alhaj
, Rasha Tawhid:
Software Performance Modeling. 219-262 - Steffen Becker:
Model Transformations in Non-functional Analysis. 263-289 - Vittorio Cortellessa, Antinisca Di Marco
, Catia Trubiani
:
Software Performance Antipatterns: Modeling and Analysis. 290-335 - Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer:
An Introduction to Model Versioning. 336-398 - Antonio Vallecillo
, Martin Gogolla, Loli Burgueño
, Manuel Wimmer, Lars Hamann
:
Formal Specification and Testing of Model Transformations. 399-437

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.