Overview

Full Product Details

Author:   Alexander Egyed ,  Ina Schaefer
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2015 ed.
Volume:   9033
Dimensions:   Width: 15.50cm , Height: 2.00cm , Length: 23.50cm
Weight:   5.737kg
ISBN:  

9783662466742

ISBN 10:   3662466740
Pages:   363
Publication Date:   09 April 2015
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

Models and Synthesis.- An Institution for Simple UML State Machines.- Map-Based Transparent Persistence for Very Large Models.- Composing Message Translators and Inferring Their Data Types Using Tree Automata.- On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications.- Testing and Fault Localization.- BPEL Integration Testing.- Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.- Just Test What You Cannot Verify!.- Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme.- Modeling.- A Generalized Formal Framework for Partial Modeling.- Performance-Based Software Model Refactoring in Fuzzy Contexts.- Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin.- Verification.- Translation Validation for Clock Transformations in a Synchronous Compiler.- Symbolic Detection of Assertion Dependencies for Bounded Model Checking.- Verification of Loop.- Parallelisations.- Model-Based Formal Reasoning about Data-Management Applications.- Modeling and Adaptation.- Self-adaptive Software with Decentralised Control Loops.- Model-Based Adaptation of Software Communicating via FIFO Buffers.- Lazy TSO Reachability.- A Variability-Based Approach to Reusable and Efficient Model Transformations.- Applications.- Exploring Scenario Exploration.- Data-Oriented Characterization of Application-Level Energy Optimization.- Resource Specification for Prototyping Human-Intensive Systems.- The Prophecy of Undo.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions