000 05287nam a22006015i 4500
001 978-3-540-69593-6
003 DE-He213
005 20240423132436.0
007 cr nn 008mamaa
008 121227s1997 gw | s |||| 0|eng d
020 _a9783540695936
_9978-3-540-69593-6
024 7 _a10.1007/3-540-63533-5
_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 _aFME '97 Industrial Applications and Strengthened Foundations of Formal Methods
_h[electronic resource] :
_b4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /
_cedited by John Fitzgerald, Cliff B. Jones, Peter Lucas.
250 _a1st ed. 1997.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c1997.
300 _aXIV, 694 p.
_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,
_x1611-3349 ;
_v1313
505 0 _aDiagrams and programming languages for programmable controllers -- Graphical specification and reasoning: Case study generalised railroad crossing -- A graphic notation for formal specifications of dynamic systems -- A semantic integration of object-Z and CSP for the specification of concurrent systems -- Class refinement and interface refinement in object-oriented programs -- Formalizing requirements for distributed systems with trace diagrams -- Consistent graphical specification of distributed systems -- Design of reactive control systems for event-driven operations -- An M-Net semantics for a real-time extension of µSDL -- Reconciling real-time with asynchronous message passing -- Specifying the remote controlling of valves in an explosion test environment -- PICGAL: Practical use of formal specification to develop a complex critical system -- Mathematical modeling and analysis of an external memory manager -- Automatic translation of VDM-SL specifications into gofer -- Towards an Integrated CASE and theorem proving tool for VDM-SL -- Specification of required non-determinism -- A corrected failure-divergence model for CSP in Isabelle/HOL -- A proof obligation generator for VDM-SL -- Verification of cryptographic protocols: An experiment -- TLA + PROMELA: Conjecture, check, proof -- A TLA solution to the specification and verification of the RLP1 retransmission protocol -- An efficient technique for deadlock analysis of large scale process networks -- Implementing a model checker for LEGO -- Formal verification of transformations for peephole optimization -- A meta-method for formal method integration -- Reuse of verified design templates through extended pattern matching -- A compositional proof system for shared variable concurrency -- A framework for modular formal specification andverification -- A timed semantics for the StateMate implementation of statecharts -- Using PVS to prove a Z refinement: A case study -- Verification of reactive systems using DisCo and PVS -- Term rewrite systems to derive set boolean operations on 2D objects -- A normal form reduction strategy for hardware/software partitioning -- Viewpoint consistency in Z and LOTOS: A case study -- A UNITY mapping operator for distributed programs.
520 _aThis book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability.
650 0 _aSoftware engineering.
650 0 _aComputer programming.
650 0 _aCompilers (Computer programs).
650 0 _aComputer science.
650 1 4 _aSoftware Engineering.
650 2 4 _aProgramming Techniques.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aComputer Science Logic and Foundations of Programming.
700 1 _aFitzgerald, John.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aJones, Cliff B.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aLucas, Peter.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540635338
776 0 8 _iPrinted edition:
_z9783662183335
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v1313
856 4 0 _uhttps://doi.org/10.1007/3-540-63533-5
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c187802
_d187802