✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Methods for Model-Driven Engineering Volume 7320 || Formal Specification and Testing of Model Transformations

✍ Scribed by Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso

Book ID: 120534411
Publisher: Springer Berlin Heidelberg
Year: 2012
Tongue: English
Weight: 748 KB
Edition: 3
Category: Article
ISBN: 3642309828
DOI: 10.1007/978-3-642-30982-3_11

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Model-Driven Engineering Volume 7320 || Software Performance Modeling

✍ Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 806 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2335 || Model Driven Engineering

✍ Butler, Michael; Petre, Luigia; Sere, Kaisa 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 135 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Model-Driven Engineering Volume 7320 || Object Constraint Language (OCL): A Definitive Guide

✍ Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 374 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Driven Engineering Languages and Systems Volume 6981 || Formal Verification of QVT Transformations for Code Generation

✍ Whittle, Jon; Clark, Tony; Kühne, Thomas 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 303 KB

This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications t

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Formal Proof from UML Models

✍ Davies, Jim; Schulte, Wolfram; Barnett, Mike 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 346 KB

Formal Engineering Methods Are Changing The Way That Software Systems Are - Veloped.withlanguageandtoolsupport,theyarebeingusedforautomaticcode Generation, And For The Automatic Abstraction And Checking Of Implementations. In The Future, They Will Be Used At Every Stage Of Development: Requirements,

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Testing Volume 4949 || Model Based Testing with Labelled Transition Systems

✍ Hierons, Robert M.; Bowen, Jonathan P.; Harman, Mark 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 803 KB

This Book Constitutes The Thoroughly Refereed And Peer-reviewed Outcome Of The Formal Methods And Testing (fortest) Network - Formed As A Network Established Under Uk Epsrc Funding That Investigated The Relationships Between Formal (and Semi-formal) Methods And Software Testing - Now Being A Subject