Vai al contenuto principale della pagina

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings / Axel Legay, Saddek Bensalem (eds.).



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: RV (Conference) (4th : 2013 : Rennes, France)
Titolo: Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings / Axel Legay, Saddek Bensalem (eds.).
Link to work: Runtime verification Visualizza cluster
Pubblicazione: Heidelberg : Springer, 2013
Estensione: 1 online resource (xvii, 426 pages)
Tipo formato: computer
Tipo contenuto: text
Tipo supporto: online resource
Disciplina: 005.1/4
Titolo uniforme di collana: LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science ; 8174.
Classificazione LOC: QA76.76.V47 R8 2013
Creatori/Collaboratori: Legay, Axel, [editor of compilation.]
Bensalem, Saddek, [editor of compilation.]
Accesso convegno: RV (Conference)
Note generali: International conference proceedings.
Includes author index.
Contenuto supplementare: Includes author index.
Restrizioni accesso: Access restricted to authorized users and institutions.
Sommario/riassunto: 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.
Collana: LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science, 0302-9743 ; 8174
Varianti del titolo: RV 2013
ISBN: 9783642407871 (electronic bk.)
3642407870 (electronic bk.)
3642407862 (print)
9783642407864 (print)
9783642407864
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 6301432
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/978-3-642-40787-1
Lo trovi qui: University of Alberta / NEOS Library Consortium
Item: Permalink to OPAC