Runtime Verification [[electronic resource] ] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / / edited by Saddek Bensalem, Doron A. Peled
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Runtime Verification [[electronic resource] ] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / / edited by Saddek Bensalem, Doron A. Peled
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Edizione: | 1st ed. 2009. |
| Descrizione fisica: | 1 online resource (VII, 203 p.) |
| Disciplina: | 005.1/17 |
| Soggetto topico: | Software engineering |
| Computers | |
| Computer software—Reusability | |
| Programming languages (Electronic computers) | |
| Computer system failures | |
| Software Engineering | |
| Software Engineering/Programming and Operating Systems | |
| Theory of Computation | |
| Performance and Reliability | |
| Programming Languages, Compilers, Interpreters | |
| System Performance and Evaluation | |
| Soggetto genere / forma: | Grenobble (2009) |
| Grenoble (2009) | |
| Kongress. | |
| Classificazione: | DAT 263f |
| DAT 325f | |
| SS 4800 | |
| Persona (resp. second.): | BensalemSaddek |
| PeledDoron A | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Rule Systems for Runtime Verification: A Short Tutorial -- Verification, Testing and Statistics -- Type-Separated Bytecode – Its Construction and Evaluation -- Runtime Verification of Safety-Progress Properties -- Monitor Circuits for LTL with Bounded and Unbounded Future -- State Joining and Splitting for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool -- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing -- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming -- Runtime Verification of C Memory Safety -- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis -- Hardware Supported Flexible Monitoring: Early Results -- DMaC: Distributed Monitoring and Checking. |
| Titolo autorizzato: | Runtime Verification |
| ISBN: | 3-642-04694-0 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465300203316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering ; ; 5779