ENGLISH

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering

By Marco Bernardo , Luca Padovani , Gianluigi Zavattaro

Book information

Year
2009
ISBN
9783642019173, 364201917X
LCC
QA76.9.F67 I586 2009
Open Library ID
OL25155962M
Language
english
Format
PDF
Filesize
6 MB (6258640 bytes)
Edition
1
Pages
348\346
Topic
Computers
Scanned
yes
Time added
2011-06-04 13:46:07

Description

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.

Similar books