✦ LIBER ✦

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

✍ Scribed by Butler, Michael; Petre, Luigia; Sere, Kaisa

Book ID: 120481694
Publisher: Springer Berlin Heidelberg
Year: 2002
Weight: 135 KB
Category: Article
ISBN: 3540478841
DOI: 10.1007/3-540-47884-1_16

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] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2335 || From Implicit Specifications to Explicit Designs in Reactive System Development

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

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7321 || Model Checking as Static Analysis: Revisited

✍ Derrick, John; Gnesi, Stefania; Latella, Diego; Treharne, Helen 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 308 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] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7940 || Priced Timed Automata and Statistical Model Checking

✍ Johnsen, Einar Broch; Petre, Luigia 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 137 KB

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. T