Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010 Paris, France, June 28-30, 2010 Revised Selected Papers: 6528 - Brossura

 
9783642180699: Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010 Paris, France, June 28-30, 2010 Revised Selected Papers: 6528
Brossura
ISBN 10: 3642180698 ISBN 13: 9783642180699
Casa editrice: Springer-Nature New York Inc, 2011

Sinossi

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701.
The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Nature New York Inc
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
3642180698
ISBN 13 
9783642180699
Rilegatura
Copertina flessibile
Numero di pagine
197
Redattore
Beckert Bernhard, Marche Claude
Contatto del produttore
Springer-Verlag GmbH
customerservice@springernature.com

Tiergartenstraße 17
Heidelberg
Baden-Württemberg
69121
Germania

Altre edizioni note dello stesso titolo

9783642180712: Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Edizione in evidenza

ISBN 10:  364218071X ISBN 13:  9783642180712
Casa editrice: Springer, 2011
Brossura