Vai al contenuto principale della pagina

Runtime verification [electronic resource] : 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 [electronic resource] : 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.
Genere/Forma: Electronic books
Index term-Uncontrolled: Computer science
Software engineering
Computer software
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Soggetto non controllato: Computer science
Software engineering
Computer software
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Termine d'indicizzazione-Occupazione: Computer science
Software engineering
Computer software
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Classificazione LOC: QA76.76.V47 R8 2013
Creatori/Collaboratori: Legay, Axel, [editor of compilation.]
Bensalem, Saddek, [editor of compilation.]
Note generali: International conference proceedings.
Includes author index.
Contenuto supplementare: Includes author index.
Restrizioni accesso: Restricted for use by site license.
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.
Forme fisiche agg.: Also available in print.
Requisiti sistema: Mode of access: World Wide Web.
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.: 9960998233503681
Localizzazioni e accesso elettronico http://hdl.library.upenn.edu/1017.12/1271700
Lo trovi qui: University of Pennsylvania
Item: Permalink to OPAC