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
|
| 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 |