Blick ins Buch

Web Services and Formal Methods

7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Mario Bravetti, Tevfik Bultan (Herausgeber)

Buch | Softcover

VIII, 191 Seiten

2011 | 2011
Springer Berlin (Verlag)
978-3-642-19588-4 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.

Erscheint lt. Verlag	31.3.2011
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	VIII, 191 p. 68 illus., 10 illus. in color.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	311 g
Themenwelt	Informatik ► Datenbanken ► Data Warehouse / Data Mining
	Informatik ► Software Entwicklung ► User Interfaces (HCI)
	Mathematik / Informatik ► Informatik ► Web / Internet
	Informatik ► Weitere Themen ► Hardware
Schlagworte	business entity lifecycle • Formal Semantics • Petri Nets • Privacy Policy • Refinement • satisfiability • sservice composition • transition systems • workflow execution • Workflow Management
ISBN-10	3-642-19588-1 / 3642195881
ISBN-13	978-3-642-19588-4 / 9783642195884
Zustand	Neuware