Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Aspects of Component Software
  • Produktbild: Formal Aspects of Component Software
Band 8997

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.02.2015

Abbildungen

X, 132 illus., schwarz-weiss Illustrationen

Herausgeber

Ivan Lanese + weitere

Verlag

Springer

Seitenzahl

385

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

599 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-319-15316-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.02.2015

Abbildungen

X, 132 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

385

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

599 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-319-15316-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Aspects of Component Software
  • Produktbild: Formal Aspects of Component Software

  • 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.