ENGLISH

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

By Marco Bernardo , Luca Padovani , Gianluigi Zavattaro (eds.) , Roberto Bruni (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2009
ISBN
364201917X, 9783642019173
DOI
10.1007/978-3-642-01918-0
LCC
QA76.9.F67 I586 2009
Open Library ID
OL25155962M
Language
english
Format
PDF
Filesize
5 MB (5038701 bytes)
Series
Lecture Notes in Computer Science 5569 : Programming and Software Engineering
Edition
1
Pages
341\346
Library
Kolxo3
Time added
2011-07-22 07:35:22
CompilersInterpreters; Information Systems Applications (inSoftware Engineering; Software Engineering/Program

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