Software Engineering and Formal Methods

11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

AvRobert M. Hierons,Mercedes G. Merayo

Häftad, Engelska, 2013

Del i serien Lecture Notes in Computer Science

562 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

Produktinformation

Utgivningsdatum:2013-09-12
Mått:155 x 235 x 19 mm
Vikt:517 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:321
Upplaga:2013
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642405600

Utforska kategorier

Innehållsförteckning

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL.- A Transformation Approach for Multiform Time Requirements.- Real-Time Migration Properties of rTiMoVerified in Uppaal.- Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP.- From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models.- Model Checking of Security-Critical Applications in a Model-Driven Approach.- Lifting Verification Results for Preemption Statements.- Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure.- Sound Symbolic Linking in the Presence of Preprocessing.- Inferring Physical Units in B Models.- A Tool for Behaviour-Based Discovery of Approximately Matching Web Services.- A Type System for Components.- Early Fault Detection in DSLs Using SMT Solving and Automated Debugging.- Static Detection of Implementation Errors Using Formal Code Specification.- Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting.- {log} as a Test Case Generator for the Test Template Framework.- Zero Overhead Runtime Monitoring.- Run-Time Verification of Coboxes.- Automated Mediator Synthesis: Combining Behavioural andOntological Reasoning.- Program Transformation Based on Symbolic Execution and Deduction.- Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems.