http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
ZUM '97, the Z formal specification notation
10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
International Conference of Z Users 1997 : Reading, England)
1 online resource (x, 433 pages) : illustrations
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.
Jonathan P. Bowen, Michael G. Hinchey, David Till (eds).
Includes bibliographical references and index.
Lecture notes in computer science ; 1212