Cover image for Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Title:
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Author:
Lanese, Ivan. editor.
ISBN:
9783319153179
Edition:
1st ed. 2015.
Physical Description:
X, 385 p. 132 illus. online resource.
Series:
Programming and Software Engineering, 8997
Contents:
Components as Location Graphs -- A Formal Approach to Autonomic Systems Programming: The SCEL Language -- Compositional Approaches -- Verified Service Compositions by Template-Based Construction -- Compositional Verification of Asynchronously Communicating Systems -- Compositional Analysis Using Component-Oriented Interpolation -- Adaptation and Evolution -- Impact Models for Architecture-Based Self-adaptive Systems -- Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime -- Formal Rules for Reliable Component-Based Architecture Evolution -- Application and Experience -- Solving Parity Games in Scala -- Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report -- Tools -- From HELENA Ensemble Specifications to Executable Code -- MAccS: A Tool for Reachability by Design -- MPASS: An Efficient Tool for the Analysis of Message-Passing Programs -- Scheduling, Time and Hybrid Systems Widening the Schedulability of Hierarchical Scheduling Systems -- Adding Formal Meanings to AADL with Hybrid Annex -- Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications -- Other Verification Approaches -- Intransitive Non-Interference by Unfolding -- Reduction and Abstraction Techniques for BIP -- Compositionality for Quantitative Specifications -- Safety and Liveness of Composition -- Algorithmic Verification of Procedural Programs in the Presence of Code Variability -- Place-Liveness of ComSA Applications -- Weakness: Verifying Correctness on TSO Architectures.
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 519140-1001 XX(519140.1)
Searching...

On Order