[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies Volume 7610 || Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies Volume 7610 || Handling Heterogeneity in Formal Developments of Hardware and Software Systems

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 72 KB

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topic

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6415 || Contract-Based Slicing

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 324 KB

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6416 || Modeling and Managing System Evolution

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 137 KB

This Volume Contains The Conference Proceedings Of The 4th International S- Posium On Leveraging Applications Of Formal Methods, Veri?cation And Vali- Tion, Isola 2010, Which Was Held In Greece (heraklion, Crete) October 18–21, 2010, And Sponsored By Easst. Following The Tradition Of Its Forerunners

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6416 || A Case Study in Model-Based Adaptation of Web Services

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 492 KB

This Volume Contains The Conference Proceedings Of The 4th International S- Posium On Leveraging Applications Of Formal Methods, Veri?cation And Vali- Tion, Isola 2010, Which Was Held In Greece (heraklion, Crete) October 18–21, 2010, And Sponsored By Easst. Following The Tradition Of Its Forerunners

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6416 || Worst-Case Analysis of Heap Allocations

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 233 KB

This Volume Contains The Conference Proceedings Of The 4th International S- Posium On Leveraging Applications Of Formal Methods, Veri?cation And Vali- Tion, Isola 2010, Which Was Held In Greece (heraklion, Crete) October 18–21, 2010, And Sponsored By Easst. Following The Tradition Of Its Forerunners

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6415 || Workflows for Metabolic Flux Analysis: Data Integration and Human Interaction

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 549 KB