Formal Methods for Web Services
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
(Sprache: Englisch)
This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, which was devoted to formal methods for web services.
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
49.17 €
Produktdetails
Produktinformationen zu „Formal Methods for Web Services “
This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, which was devoted to formal methods for web services.
Klappentext zu „Formal Methods for Web Services “
This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009.SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance.
Inhaltsverzeichnis zu „Formal Methods for Web Services “
Calculi for Service-Oriented Computing.- Service Interaction: Patterns, Formalization, and Analysis.- Synthesis and Composition of Web Services.- Fundamentals of Session Types.- Asynchronous Session Types: Exceptions and Multiparty Interactions.- Contract-Based Discovery and Adaptation of Web Services.- Contract-Based Discovery and Composition of Web Services.- Quantitative Analysis of Web Services Using SRMC.
Bibliographische Angaben
- 2009, VII, 341 Seiten, mit Abbildungen, Maße: 15,9 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
- Verlag: Springer, Berlin
- ISBN-10: 364201917X
- ISBN-13: 9783642019173
- Erscheinungsdatum: 12.05.2009
Sprache:
Englisch
Kommentar zu "Formal Methods for Web Services"
0 Gebrauchte Artikel zu „Formal Methods for Web Services“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods for Web Services".
Kommentar verfassen