Web Services and Formal Methods

8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Marco Carbone, Jean-Marc Petit (Herausgeber)

Buch | Softcover

IX, 143 Seiten

2012 | 2012
Springer Berlin (Verlag)
978-3-642-29833-2 (ISBN)

Infos

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011.The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.

Produkt-Details

• Erscheint lt. Verlag: 23.4.2012
• Reihe/Serie: Lecture Notes in Computer Science
• Reihe/Serie: Programming and Software Engineering
• Zusatzinfo: IX, 143 p.
• Verlagsort: Berlin
• Sprache: englisch
• Maße: 155 x 235 mm
• Gewicht: 230 g
• Themenwelt: Mathematik / Informatik ► Informatik ► Datenbanken
• Themenwelt: Informatik ► Software Entwicklung ► User Interfaces (HCI)
• Schlagworte: BPEL • data-centric Web services • formal methods • Petri Nets • verification
• ISBN-10: 3-642-29833-8 / 3642298338
• ISBN-13: 978-3-642-29833-2 / 9783642298332
• Zustand: Neuware