From Programs to Systems - The Systems Perspective in Computing: Etaps Workshop, Fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014

Model-Driven Information Flow Security for Component-Based Systems.- Context-Bounded Analysis of TSO Systems.- A Model of Dynamic Systems.- From Hierarchical BIP to Petri Calculus.- Programming and Verifying Component Ensembles.- Parametric and Quantitative Extensions of Modal Transition Systems.- Specification Theories for Probabilistic and Real-Time Systems.- Compositional Branching-Time Measurements.- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories for Communication-Safe Component Systems.- Constructive Collisions.- Let's Get Physical: Computer Science Meets Systems.- What Can be Computed in a Distributed System.- Toward a System Design Science.- OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems.- Feedback in Synchronous Relational Interfaces.- Reasoning about Network Topologies in Space.

• Format: Paperback
• Language: English
• ISBN: 3642548474
• ISBN13: 9783642548475
• Release Date: March 2014
• Publisher: Springer
• Length: 279 Pages
• Weight: 0.91 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"