ZUM '97: The Z Formal Specification Notation (Record no. 36300)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03635nam a22005535i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783540684909 |
| -- | 978-3-540-68490-9 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| 245 10 - TITLE STATEMENT | |
| Title | ZUM '97: The Z Formal Specification Notation |
| Sub Title | 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings / |
| Statement of responsibility, etc | edited by Jonathan P. Bowen, Michael G. Hinchey, David Till. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Berlin, Heidelberg : |
| Name of publisher | Springer Berlin Heidelberg, |
| Year of publication | 1997. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | X, 442 p. |
| Other physical details | online resource. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Formal 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer software. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Algebra |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Symbolic and Algebraic Manipulation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Algorithm Analysis and Problem Complexity. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Programming Techniques. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Mathematical Logic and Formal Languages. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Bowen, Jonathan P. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Hinchey, Michael G. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Till, David. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/BFb0027279 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-BOOKS |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 1997. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 0302-9743 ; |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
|---|---|---|---|---|---|---|---|
| IMSc Library | EBK7006 | http://dx.doi.org/10.1007/BFb0027279 | E-BOOKS |