![Cover image for Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers Cover image for Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
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:
Electronic Access:
https://doi.org/10.1007/978-3-319-15317-9Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 519140-1001 | XX(519140.1) | Searching... | Searching... |