000 03940nam a22005895i 4500
001 978-3-540-75221-9
003 DE-He213
005 20240730201130.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540752219
_9978-3-540-75221-9
024 7 _a10.1007/978-3-540-75221-9
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aFormal Methods and Hybrid Real-Time Systems
_h[electronic resource] :
_bEssays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays /
_cedited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.
250 _a1st ed. 2007.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2007.
300 _aXVI, 542 p.
_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 ;
_v4700
505 0 _aModels and Software Model Checking of a Distributed File Replication System -- From "Formal Methods" to System Modeling -- A Denotational Semantics for Handel-C -- Generating Polynomial Invariants with DISCOVERER and QEPCAD -- Harnessing rCOS for Tool Support -The CoCoME Experience -- Automating Verification of Cooperation, Control, and Design in Traffic Applications -- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus -- Relating Domain Concepts Intensionally by Ordering Connections -- Programmable Messaging for Electronic Government - Building a Foundation -- Balancing Insight and Effort: The Industrial Uptake of Formal Methods -- Proving Theorems About JML Classes -- Specification for Testing -- Semantics and Verification of a Language for Modelling Hardware Architectures -- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems -- Compensable Programs -- Deriving Specifications for Systems That Are Connected to the Physical World -- Engineering the Development of Embedded Systems -- Design Verification Patterns -- On Revival of Algol-Concepts in Modern Programming and Specification Languages -- Design in CommUnity with Extension Morphisms -- Symbolic Test Generation Using a Temporal Logic with Constrained Events -- Expansive-Bisimulation for Context-Free Processes -- VDM Semantics of Programming Languages: Combinators and Monads -- Formal Approach to Railway Applications -- Services as a Paradigm of Computation.
650 0 _aSoftware engineering.
_94138
650 0 _aComputer science.
_99832
650 0 _aComputer engineering.
_910164
650 0 _aComputer networks .
_931572
650 0 _aMachine theory.
_9166079
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aComputer Engineering and Networks.
_9166080
650 2 4 _aFormal Languages and Automata Theory.
_9166081
700 1 _aJones, Cliff B.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9166082
700 1 _aLiu, Zhiming.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9166083
700 1 _aWoodcock, Jim.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9166084
710 2 _aSpringerLink (Online service)
_9166085
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540752202
776 0 8 _iPrinted edition:
_z9783540844280
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v4700
_9166086
856 4 0 _uhttps://doi.org/10.1007/978-3-540-75221-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c96381
_d96381