ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, David Till (eds).
| Author/creator | International Conference of Z Users |
| Other author | Bowen, J. P. (Jonathan Peter), 1956- |
| Other author | Hinchey, Michael G. (Michael Gerard), 1969- |
| Other author | Till, David. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©1997. |
| Description | x, 433 pages : illustrations ; 24 cm. |
| Subjects |
| Portion of title | Z formal specification notation |
| Series | Lecture notes in computer science ; 1212 Lecture notes in computer science 1212. ^A466336 |
| Contents | Formal methods : a panacea or academic poppycock? (invited paper) / C.L. Heitmeyer -- An introduction to the event calculus / W.J. (Bill) Stoddart -- Experiences with PiZa, an animator for Z / M.A. Hewitt, C.M. O'Halloran and C.T. Sennett -- Automating test case generation from Z specifications with Isabelle / S. Helke, T. Neustupny and T. Santen -- The Z/EVES system / M. Saaltink -- Taking Z seriously (invited paper) / J.A. (Anthony) Hall -- A formal OO method inspired by fusion and object-Z / K. Achatz and W. Schulte -- W reconstructed / J. Hall and A. Martin -- Using the rippling heuristic in set membership proofs / I. Kraan -- A practical method for rigorously controllable hardware design (invited paper) / E. Börger and S. Mazzanti -- Integrating VDM++ and real-time system design / K. Lano ... [et al.] -- An approach to the design of distributed systems with B AMN / M. Butler -- Specifying reactive systems in B AMN / K. Lano -- An improved recipe for specifying reactive systems in Z / A.S. Evans -- A Z specification of the soft-link hypertext model / M. d'Inverno and M. Hu -- Experience with Z developing a control program for a radiation therapy machine / J. Jacky ... [et al.] -- Preliminary evaluation of a formal approach to user interface specification / J.C. Knight and S.S. Brilliant -- Analyzing and refining an architectural style P. Ciancarini and C. Mascolo -- Weak refinement in Z / J. Derrick ... [et al.] -- Select Z bibliography ; Comp.specification.z and Z FORUM frequently asked questions / J.P. Bowen. |
| Bibliography note | Includes bibliographical references and index. |
| ISBN | 3540627170 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.73.Z2 I58 1997 | ✔ Available | Place Hold |