000 04153nam a22006015i 4500
001 978-3-642-54848-2
003 DE-He213
005 20240730185147.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 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_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 Lakhnech, Axel Legay.
250 _a1st ed. 2014.
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 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_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.
_99832
650 0 _aCompilers (Computer programs).
_93350
650 0 _aMachine theory.
_9138167
650 0 _aSoftware engineering.
_94138
650 1 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aTheory of Computation.
_9138168
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aFormal Languages and Automata Theory.
_9138169
650 2 4 _aSoftware Engineering.
_94138
700 1 _aBensalem, Saddek.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9138170
700 1 _aLakhnech, Yassine.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9138171
700 1 _aLegay, Axel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9138172
710 2 _aSpringerLink (Online service)
_9138173
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642548475
776 0 8 _iPrinted edition:
_z9783642548499
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v8415
_9138174
856 4 0 _uhttps://doi.org/10.1007/978-3-642-54848-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c92678
_d92678