Overview

Full Product Details

Author:   Robert M. Hierons ,  Mercedes G. Merayo ,  Mario Bravetti
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2013 ed.
Volume:   8137
Dimensions:   Width: 15.50cm , Height: 1.80cm , Length: 23.50cm
Weight:   5.153kg
ISBN:  

9783642405600

ISBN 10:   3642405606
Pages:   321
Publication Date:   12 September 2013
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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 and Ontological Reasoning.- Program Transformation Based on Symbolic Execution and Deduction.- Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions