000 03911nam a22006255i 4500
001 978-3-642-54848-2
003 DE-He213
005 20200421112223.0
007 cr nn 008mamaa
008 140709s2014 gw | s |||| 0|eng d
020 _a9783642548482
_9978-3-642-54848-2
024 7 _a10.1007/978-3-642-54848-2
_2doi
050 4 _aQA76.9.L63
050 4 _aQA76.5913
050 4 _aQA76.63
072 7 _aUM
_2bicssc
072 7 _aUYF
_2bicssc
072 7 _aCOM051000
_2bisacsh
072 7 _aCOM036000
_2bisacsh
082 0 4 _a005.1015113
_223
245 1 0 _aFrom Programs to Systems. The Systems perspective in Computing
_h[electronic resource] :
_bETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings /
_cedited by Saddek Bensalem, Yassine Lakhneck, Axel Legay.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2014.
300 _aXII, 279 p. 76 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8415
505 0 _aModel-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. .
520 _a"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory and Practice of Software, ETAPS, in Grenoble, April 2014. Joseph Sifakis is an active and visionary researcher in the area of system design. He believes that endowing design with scientific foundations is at least of equal importance as the quest for scientific truth in natural sciences. Previously, he has worked on Petri nets, concurrent systems, program semantics, verification, embedded systems, real-time systems, and formal methods more generally. The book contains 18 papers covering various topics related to the extension of programming theory to systems.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aProgramming languages (Electronic computers).
650 0 _aComputers.
650 0 _aComputer logic.
650 0 _aMathematical logic.
650 1 4 _aComputer Science.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aComputation by Abstract Devices.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aSoftware Engineering.
700 1 _aBensalem, Saddek.
_eeditor.
700 1 _aLakhneck, Yassine.
_eeditor.
700 1 _aLegay, Axel.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642548475
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8415
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-54848-2
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c57542
_d57542