Coverart for item
The Resource 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, Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.), (electronic book)

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, Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.), (electronic book)

Label
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
Title
Formal methods for model-driven engineering
Title remainder
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
Statement of responsibility
Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.)
Title variation
SFM 2012
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
004.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
I58 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Bernardo, Marco
  • Cortellessa, Vittorio
  • Pierantonio, Alfonso
Series statement
  • Lecture notes in computer science,
  • Tutorial
  • Tutorial
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7320.
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Engineering
  • Computer-aided engineering
Label
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, Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.), (electronic book)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Color
multicolored
Contents
  • 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
  • The Less Well Known UML
  • 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
  • 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
Control code
SPR798572182
Dimensions
unknown
Extent
1 online resource (vii, 437 p.)
File format
unknown
Form of item
online
Isbn
9783642309823
Level of compression
unknown
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
Label
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, Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.), (electronic book)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Color
multicolored
Contents
  • 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
  • The Less Well Known UML
  • 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
  • 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
Control code
SPR798572182
Dimensions
unknown
Extent
1 online resource (vii, 437 p.)
File format
unknown
Form of item
online
Isbn
9783642309823
Level of compression
unknown
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...