✦ LIBER ✦

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 8137 || A Tool for Behaviour-Based Discovery of Approximately Matching Web Services

✍ Scribed by Hierons, Robert M.; Merayo, Mercedes G.; Bravetti, Mario

Book ID: 121367048
Publisher: Springer Berlin Heidelberg
Year: 2013
Weight: 362 KB
Category: Article
ISBN: 3642405614
DOI: 10.1007/978-3-642-40561-7_11

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 6447 || Automatically Testing Web Services Choreography with Assertions

✍ Dong, Jin Song; Zhu, Huibiao 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 366 KB

[Lecture Notes in Computer Science] Web

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 7176 || Design of a BPEL Verification Tool

✍ Carbone, Marco; Petit, Jean-Marc 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 482 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || TulaFale: A Security Tool for Web Services

✍ de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 467 KB

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further deve

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

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Runtime Verification of Component-Based Systems

✍ Barthe, Gilles; Pardo, Alberto; Schneider, Gerardo 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 383 KB

[Lecture Notes in Computer Science] Web

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 6194 || A Formal Semantics for the WS-BPEL Recovery Framework

✍ Laneve, Cosimo; Su, Jianwen 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 259 KB