Languages
Zavattaro, Gianluigi.
Overview
Works: | 8 works in 1 publications in 1 languages |
---|
Titles
Formal Techniques for Computer Systems and Business ProcessesEuropean Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings /
by:
(1998 :); Bravetti, Mario.; Kloul, Leila.; SpringerLink (Online service); Zavattaro, Gianluigi.
(Electronic resources)
Formal methods for web services9th 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:
(1998 :); Bernardo, Marco.; Padovani, Luca.; SpringerLink (Online service); Zavattaro, Gianluigi.
(Electronic resources)
Service-oriented and cloud computingFirst European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012 : proceedings /
by:
(1998 :); Paoli, Flavio.; Pimentel, Ernesto.; SpringerLink (Online service); Zavattaro, Gianluigi.
(Electronic resources)
Web Services and Formal MethodsThird International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /
by:
(1998 :); Bravetti, Mario.; Nunez, Manuel.; SpringerLink (Online service); Zavattaro, Gianluigi.
(Electronic resources)
CONCUR 2009 - concurrency theory20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings /
by:
(1998 :); Bravetti, Mario.; SpringerLink (Online service); Zavattaro, Gianluigi.
(Electronic resources)
Formal Methods for Open Object-Based Distributed Systems7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
(1998 :); SpringerLink (Online service); Steffen, Martin.; Zavattaro, Gianluigi.
(Electronic resources)
Subjects
Web services
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Electronic data processing
Telecommunication systems
Software Engineering/Programming and Operating Systems.
Mathematics of Computing.
Operating Systems.
Programming Techniques.
Computer systems
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
Database Management.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Information Storage and Retrieval.
Internet
Computer multitasking
Models and Principles.
Information Systems Applications (incl.Internet)
Service-oriented architecture (Computer science)
Business Information Systems.
Computer Science.
Computer Communication Networks.
Computers and Society.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Parallel processing (Electronic computers)
Cloud computing
Systems and Data Security.
Object-oriented programming (Computer science)