✦ LIBER ✦

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

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

Book ID: 120640856
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 374 KB
Category: Article
ISBN: 3642309828
DOI: 10.1007/978-3-642-30982-3_3

No coin nor oath required. For personal study only.

📜 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] Form

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

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

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 an

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Driven Engineering Languages and Systems Volume 5301 || A Lightweight Approach for Defining the Formal Semantics of a Modeling Language

✍ Czarnecki, Krzysztof; Ober, Ileana; Bruel, Jean-Michel; Uhl, Axel; Völter, Marku 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 666 KB

This book constitutes the refereed proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008, held in Toulouse, France, during September 28-October 3, 2008. The 58 revised full papers presented were carefully reviewed and selected from 271 submis

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 7542 || A Language-Based Approach to Autonomic Computing

✍ Beckert, Bernhard; Damiani, Ferruccio; de Boer, Frank S.; Bonsangue, Marcello M. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 350 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] Mode

[Lecture Notes in Computer Science] Model Driven Engineering Languages and Systems Volume 4735 || Model-Driven Engineering for Software Migration in a Large Industrial Context

✍ Engels, Gregor; Opdyke, Bill; Schmidt, Douglas C.; Weil, Frank 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 591 KB

This Book Constitutes The Refereed Proceedings Of The 10th International Conference On Model Driven Engineering Languages And Systems (formerly The Uml Series Of Conferences), Models 2007, Held In Nashville, Usa, September 30 - October 5, 2007. The 45 Revised Full Papers Were Carefully Reviewed And