Description |
1 online resource (vii, 437 pages) : illustrations |
Series |
Lecture notes in computer science, 1611-3349 ; 7320. Tutorial |
|
Tutorial |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7320. 1611-3349
|
|
Lecture notes in computer science. Tutorial.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
The Less Well Known UML: A Short User Guide / Bran Selic -- MDE Basics with a DSL Focus / Suzana Andova, Mark G.J. van den Brand, Luc J.P. Engelen and Tom Verhoeff -- Object Constraint Language (OCL): A Definitive Guide / Jordi Cabot and Martin Gogolla -- Model Transformations / Davide Di Ruscio, Romina Eramo and Alfonso Pierantonio -- Graph Transformations for MDE, Adaptation, and Models at Runtime / Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt and Stefan Neumann, et al. -- Abstractions for Validation in Action / Guido de Caso, Victor Braberman, Diego Garbervetsky and Sebastian Uchitel -- Software Performance Modeling / Dorina C. Petriu, Mohammad Alhaj and Rasha Tawhid -- Model Transformations in Non-functional Analysis / Steffen Becker -- Software Performance Antipatterns: Modeling and Analysis / Vittorio Cortellessa, Antinisca Di Marco and Catia Trubiani -- An Introduction to Model Versioning / Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl and Konrad Wieland, et al. -- Formal Specification and Testing of Model Transformations / Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer and Lars Hamann |
Summary |
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 |
Analysis |
Computer science |
|
Software engineering |
|
Information Systems |
|
Software Engineering/Programming and Operating Systems |
|
Mathematical Logic and Formal Languages |
|
Programming Languages, Compilers, Interpreters |
|
Information Systems Applications (incl. Internet) |
|
Management of Computing and Information Systems |
Bibliography |
Includes bibliographical references and index |
Notes |
Online resource; title from PDF title page (SpringerLink, viewed August 10, 2012) |
Subject |
Formal methods (Computer science) -- Congresses
|
|
Engineering -- Mathematical models -- Congresses
|
|
Computer-aided engineering -- Congresses
|
|
Informatique.
|
|
Computer-aided engineering
|
|
Engineering -- Mathematical models
|
|
Formal methods (Computer science)
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Bernardo, Marco.
|
|
Cortellessa, Vittorio.
|
|
Pierantonio, Alfonso.
|
ISBN |
9783642309823 |
|
3642309828 |
|