Formal Methods: Foundations and Applications
Jim Woodcock
ISBN 10: 3642104517 ISBN 13: 9783642104510
Verlag: Springer Berlin Heidelberg, J.B. Metzler Nov 2009, 2009
Neu
Taschenbuch
Verkäufer
buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 23. Januar 2017
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch. Bestandsnummer des Verkäufers 9783642104510
Inhaltsangabe:
This volume contains the papers presented at SBMF 2009: the Brazilian S- posium on Formal Methods, held during August 19-21, 2009 in Gramado, Rio Grande do Sul, Brazil. The SBMF programme included three invited talks given by Leonardo de Moura (Microsoft Research), Sebastian Uchitel (University of Buenos Aires and Imperial College London), and Daniel Kro ¨ning (University of Oxford). The symposium was accompanied by two short courses: - Introduction to Software Testing, given by Marci ´ o Eduardo Delamaro (U- versity of Sao ˜ Paulo) - Formal Models for Automatic Test Case Generation, given by Patr´ ?cia Machado and Wilkerson Andrade (Federal University of Campina Grande) This year, the SBMF symposium had a special section on the Grand Ch- lenge in Veri?ed Software, inspired by recent advances in theory and tool s- port. WorkonthegrandchallengestartedwiththecreationofaVeri?edSoftware Repository with two principal aims: - To collect a set of veri?ed software components - To conduct a series of industrial-scale veri?cation experiments with theor- ical signi?cance and impact on tool-support This special session on the grand challenge was dedicated to two pilot projects currently underway: - The Flash File Store. The challenge is to verify the correctness of a fau- tolerant,POSIX-compliant?lestoreimplemented on?ashmemory. Veri?- tion issues include dependability guarantees as well as software correctness. Levels of abstractioninclude requirements speci?cation, software design, - ecutable code, device drivers,and ?ash translationlayers. The challenge was inspired by the requirements for forthcoming NASA space missions. - FreeRTOS.
Von der hinteren Coverseite:
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.
The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Formal Methods: Foundations and Applications
Verlag: Springer Berlin Heidelberg, J.B. Metzler Nov 2009
Erscheinungsdatum: 2009
Einband: Taschenbuch
Zustand: Neu
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Verlag:
Springer Berlin Heidelberg, 2009
ISBN 10: 3642104517
ISBN 13: 9783642104510
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 6122300/12
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field. Artikel-Nr. 9783642104510
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783642104510_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods: Foundations and Applications
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009
ISBN 10: 3642104517
ISBN 13: 9783642104510
Neu
Softcover
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Editor(s): Woodcock, James. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 361 pages, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 557. . 2009. Paperback. . . . . Books ship from the US and Ireland. Artikel-Nr. V9783642104510
Anzahl: 15 verfügbar