Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Forma...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Havelund, Klaus (Éditeur intellectuel), Núnez, Manuel (Éditeur intellectuel), Rosu, Grigore (Éditeur intellectuel), Wolff, Burkhart (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Édition:1st ed. 2006.
Collection:Programming and Software Engineering, 4262
Sujets:
Software engineering.
Compilers (Computer programs).
Computer science.
Electronic data processing-Management.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
IT Operations.
Accès en ligne:Texto Completo

Documents similaires

Documents similaires