LEADER 04883nam  22007335  450 
001 9910144925903321
005 20200704225032.0
010   $a3-540-68490-5
024 7 $a10.1007/BFb0027279
035   $a(CKB)1000000000234614
035   $a(SSID)ssj0000327684
035   $a(PQKBManifestationID)11282991
035   $a(PQKBTitleCode)TC0000327684
035   $a(PQKBWorkID)10302119
035   $a(PQKB)10812588
035   $a(DE-He213)978-3-540-68490-9
035   $a(PPN)155168568
035   $a(EXLCZ)991000000000234614
100   $a20121227d1997      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aZUM'97: The Z Formal Specification Notation$b[electronic resource] $e10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings /$fedited by Jonathan P. Bowen, Michael G. Hinchey, David Till
205   $a1st ed. 1997.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997.
215   $a1 online resource (X, 442 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1212
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-62717-0 
327   $aFormal methods: A panacea or academic poppycock? -- An introduction to the event calculus -- Experiences with PiZA, an Animator for Z -- Automating test case generation from Z specifications with Isabelle -- The Z/EVES system -- Taking Z seriously -- A formal OO method inspired by Fusion and Object-Z -- W Reconstructed -- Using the rippling heuristic in set membership proofs -- A practical method for rigorously controllable hardware design -- Integrating VDM++ and real-time system design -- An approach to the design of distributed systems with B AMN -- Specifying reactive systems in B AMN -- An improved recipe for specifying reactive systems in Z -- A Z specification of the soft-link hypertext model -- Experience with Z developing a control program for a radiation therapy machine -- Preliminary evaluation of a formal approach to user interface specification -- Analyzing and refining an architectural style -- Weak refinement in Z -- Select Z bibliography -- Comp.specification.z and Z FORUM frequently asked questions.
330   $aThis book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v1212
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aComputer science?Mathematics
606   $aAlgorithms
606   $aComputer programming
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer science?Mathematics.
615  0$aAlgorithms.
615  0$aComputer programming.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aProgramming Techniques.
676   $a005.1
702   $aBowen$b Jonathan P$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHinchey$b Michael G$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTill$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910144925903321
996   $aZUM'97: The Z Formal Specification Notation$91935464
997   $aUNINA