Title Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994 / J.P. Bowen and J.A. Hall, (eds.)

Published London ; New York : Springer-Verlag, [1994] ©1994

Copies

Location	Call no.	Vol.	Availability
W'PONDS	005.133 Z Bow/Zuw		AVAILABLE

Description x, 403 pages ; 24 cm Series Workshops in computing Workshops in computing. Contents Fermenting and Distilling / R. Worden -- The Formal Specification in Z of Defence Standard 00-56 / J. C. P. Woodcock, P. H. B. Gardiner and J. R. Hulance -- Formal Specification of Telephone Features / P. Mataga and P. Zave -- A Tale of Two Paradigms: Formal Methods and Software Testing / D. Carrington and P. Stocks -- Integrating Formal Methods into a Professional Master of Software Engineering Program / D. Garlan -- An Object-Oriented Development Framework for Z / G. Smith -- Z for Managed Objects / C. Wezeman and A. J. Judge -- Specifying and Interpreting Class Hierarchies in Z / J. A. Hall -- Z and HOL / J. P. Bowen and M. J. C. Gordon -- Z and Natural Semantics / P. Baumann -- Towards Correct Executable Semantics for Z / P. T. Breuer and J. P. Bowen -- Towards a Z Method: Axiomatic Specification in Z / J. G. Hall and J. A. McDermid -- Software Quality Assurance Using the SAZ Method / F. Polack and K. C. Mander Z and Abstract Machine Notation: A Comparison / A. Diller and R. Docherty -- TLZ / L. Lamport -- Visualizing Concurrent Z Specifications / A. S. Evans -- Specifying Real-Time Systems with Z and the Duration Calculus / M. Engel -- An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z / D. K. C. Chan and P. W. Trinder -- Producing Z Specifications from Object-Oriented Analysis / J. A. R. Hammond -- Animation of Object-Z Specifications with a Set-Oriented Prototyping Language / W. Hasselbring -- Select Z Bibliography / J. P. Bowen -- Comp.specification.z and Z FORUM Frequently Asked Questions / J. P. Bowen Analysis Programming languages Notes "Published in collaboration with the British Computing Society." Bibliography Includes bibliographical references and index Subject Z (Computer program language) -- Congresses. Z (Computer program language) Author Bowen, J. P. (Jonathan Peter), 1956- Hall, J. A. (John Anthony), 1946 November 7- British Computer Society. LC no. 94015509 ISBN 0387198849 acid-free paper

  Permalink