𝔖 Bobbio Scriptorium

✦ LIBER ✦

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Learn and Test for Event-B – A Rodin Plugin

✍ Scribed by Derrick, John; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia

Book ID: 120222275
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 264 KB
Category: Article
ISBN: 3642308856
DOI: 10.1007/978-3-642-30885-7_32

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || A Pattern for Modelling Fault Tolerant Systems in Event-B

✍ Derrick, John; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, M 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 638 KB

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Temporal Logic Model Checking in Alloy

✍ Derrick, John; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, M 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 262 KB

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || A Practical Event-B Refinement Method Based on a UML-Driven Development Process

✍ Derrick, John; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, M 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 236 KB

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Event-B Decomposition for Parallel Programs

✍ Frappier, Marc; Glässer, Uwe; Khurshid, Sarfraz; Laleau, Régine; Reeves, Steve 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 264 KB

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Supporting Reuse in Event B Development: Modularisation Approach

✍ Frappier, Marc; Glässer, Uwe; Khurshid, Sarfraz; Laleau, Régine; Reeves, Steve 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 205 KB

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, B and Z Volume 5238 || On the Purpose of Event-B Proof Obligations

✍ Börger, Egon; Butler, Michael; Bowen, Jonathan P.; Boca, Paul 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 218 KB

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and