From Programs to Systems. The Systems perspective in Computing  ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings /  [electronic resource] : 
edited by Saddek Bensalem, Yassine Lakhneck, Axel Legay. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2014. 
 - 1 online resource (XII, 279 p. 76 ill.) 
 - Lecture Notes in Computer Science,  8415  0302-9743 ; .
<br/><br/>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. . 
<br/><br/><label>ISBN: </label>9783642548482 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computers.<br/>Computer logic.<br/>Mathematical logic.