Verwandte Artikel zu Runtime Verification: Third International Conference,...

Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Programming and Software Engineering, Band 7687) - Softcover

 
9783642356315: Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Programming and Software Engineering, Band 7687)
Softcover
ISBN 10: 3642356311 ISBN 13: 9783642356315
Verlag: Springer, 2013

Inhaltsangabe

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.

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

Von der hinteren Coverseite

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.

The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.

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

Verlag
Springer
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
3642356311
ISBN 13 
9783642356315
Einband
Taschenbuch
Anzahl der Seiten
336
Herausgeber
Qadeer Shaz, Tasiran Serdar
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783642356339: Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Vorgestellte Ausgabe

ISBN 10:  3642356338 ISBN 13:  9783642356339
Verlag: Springer, 2013
Softcover