Verwandte Artikel zu Formal Methods for Open Object-Based Distributed Systems:...

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, ... Notes in Computer Science, 4037, Band 4037) - Softcover

 
9783540348931: Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, ... Notes in Computer Science, 4037, Band 4037)
Softcover
ISBN 10: 354034893X ISBN 13: 9783540348931
Verlag: Springer, 2008

Inhaltsangabe

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Roberto Gorrieri is a professor of computer science of the University of Bologna. His interests include concurrency and the foundations of security analysis and design.Cristian Versari is an assistant professor of computer science at the Laboratoire d'Informatique Fondamentale de Lille (LIFL). His interests include concurrent languages and the computational modelling of biological systems.

Von der hinteren Coverseite

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
354034893X
ISBN 13 
9783540348931
Einband
Taschenbuch
Anzahl der Seiten
288
Herausgeber
Gorrieri Roberto, Wehrheim Heike
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland