Skip to main content
SpringerLink
Log in
Book cover
  • Textbook
  • © 2012

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

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)

Conference series link(s): SFM: International School on Formal Methods for the Design of Computer, Communication and Software Systems

Conference proceedings info: SFM 2012.

Sections

Buy it now

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

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

Table of contents (11 chapters)

  1. Front Matter

    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

  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

    PDF
Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation