✦ LIBER ✦

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2999 || UML to B: Formal Verification of Object-Oriented Models

✍ Scribed by Boiten, Eerke A.; Derrick, John; Smith, Graeme

Book ID: 120330739
Publisher: Springer Berlin Heidelberg
Year: 2004
Weight: 221 KB
Category: Article
ISBN: 3540247564
DOI: 10.1007/978-3-540-24756-2_11

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2999 || Using UML Sequence Diagrams as the Basis for a Formal Test Description Language

✍ Boiten, Eerke A.; Derrick, John; Smith, Graeme 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 422 KB

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

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7940 || Formal Modelling and Verification of Population Protocols

✍ Johnsen, Einar Broch; Petre, Luigia 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 313 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

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6957 || Automated Verification of Executable UML Models

✍ Aichernig, Bernhard K.; Boer, Frank S.; Bonsangue, Marcello M. 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 545 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 5256 || A Formal Descriptive Semantics of UML

✍ Liu, Shaoying; Maibaum, Tom; Araki, Keijiro 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 395 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Pattern-Driven Formal Specification

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 500 KB