ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1997]
|
| Series: | Lecture notes in computer science ;
1212. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of 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 [and others]
- 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 [and others]
- 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 [and others]
- Select Z bibliography ; Comp.specification.z and Z FORUM frequently asked questions / J.P. Bowen.