Skip to main content
SpringerLink
Log in

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

  • Textbook
  • © 2012

Overview

Editors:
  1. Marco Bernardo

    1. Dipartimento di Scienze di Base e Fondamenti, Università di Urbino "Carlo Bo", Urbino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Vittorio Cortellessa

    1. Dipartimento di Informatica, Università dell’Aquila, Coppito - L’Aquila, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alfonso Pierantonio

    1. Dipartimento di Informatica, Università dell’Aquila, Coppito - L’Aquila, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Made for students, researchers, and practitioners
  • Original, readable, and useful lecture notes
  • Thoroughly revised tutorials

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7320)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SFM 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Download chapter PDF

  2. The Less Well Known UML

    • Bran Selic
    Pages 1-20

  3. MDE Basics with a DSL Focus

    • Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff
    Pages 21-57

  4. Object Constraint Language (OCL): A Definitive Guide

    • Jordi Cabot, Martin Gogolla
    Pages 58-90

  5. Model Transformations

    • Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio
    Pages 91-136

  6. Graph Transformations for MDE, Adaptation, and Models at Runtime

    • Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel et al.
    Pages 137-191

  7. Abstractions for Validation in Action

    • Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel
    Pages 192-218

  8. Software Performance Modeling

    • Dorina C. Petriu, Mohammad Alhaj, Rasha Tawhid
    Pages 219-262

  9. Model Transformations in Non-functional Analysis

    • Steffen Becker
    Pages 263-289

  10. Software Performance Antipatterns: Modeling and Analysis

    • Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani
    Pages 290-335

  11. An Introduction to Model Versioning

    • Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer
    Pages 336-398

  12. Formal Specification and Testing of Model Transformations

    • Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer, Lars Hamann
    Pages 399-437

  13. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.

Editors and Affiliations

  • Dipartimento di Scienze di Base e Fondamenti, Università di Urbino "Carlo Bo", Urbino, Italy

    Marco Bernardo

  • Dipartimento di Informatica, Università dell’Aquila, Coppito - L’Aquila, Italy

    Vittorio Cortellessa, Alfonso Pierantonio

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation