Vor Ort
Merkzettel Warenkorb
Produktbild: Runtime Verification
Band 6418

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.10.2010

Herausgeber

Howard Barringer + weitere

Verlag

Springer Berlin

Seitenzahl

492

Maße (L/B/H)

23,8/15,8/3 cm

Gewicht

777 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-16611-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.10.2010

Herausgeber

Verlag

Springer Berlin

Seitenzahl

492

Maße (L/B/H)

23,8/15,8/3 cm

Gewicht

777 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-16611-2

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Runtime Verification
  • Invited Papers.- Automatic Requirement Extraction from Test Cases.- Code Contracts for .NET: Runtime Verification and So Much More.- Visual Debugging for Stream Processing Applications.- Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?.- Contracts for Scala.- Runtime Analysis and Instrumentation for Securing Software.- Tutorials.- Run-Time Verification of Networked Software.- Clara: Partially Evaluating Runtime Monitors at Compile Time.- You Should Better Enforce Than Verify.- Runtime Verification for the Web.- Statistical Model Checking: An Overview.- Runtime Verification with the RV System.- Regular and Short Papers.- A Meta-Aspect Protocol for Developing Dynamic Analyses.- Behavior Abstraction in Malware Analysis.- Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time.- Checking the Correspondence between UML Models and Implementation.- Compensation-Aware Runtime Monitoring.- Recovery Tasks: An Automated Approach to Failure Recovery.- Formally Efficient Program Instrumentation.- Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs.- Causality Analysis in Contract Violation.- Reducing Configurations to Monitor in a Software Product Line.- Runtime Instrumentation for Precise Flow-Sensitive Type Analysis.- Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects.- Verification of an AFDX Infrastructure Using Simulations and Probabilities.- Copilot: A Hard Real-Time Runtime Monitor.- StealthWorks: Emulating Memory Errors.- Efficient Data Race Detection for Async-Finish Parallelism.- Run-Time Verification of Optimistic Concurrency.- Who Guards the Guardians? — Toward V&V of Health Management Software.- Aspect-Oriented Instrumentation with GCC.- Runtime Verification for Software Transactional Memories.- Optimized Temporal Monitors for SystemC.- Runtime Verification of Stochastic, Faulty Systems.- Low-Overhead Bug Fingerprinting for Fast Debugging.- Tool Demonstrations.- ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems.- A Tool Which Mines Partial Execution Traces to Improve Static Analysis.- LarvaStat: Monitoring of Statistical Properties.- WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart.