search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Z User Workshop

Keyphrases

Publications

1994

Robert P. Worden
Fermenting and Distilling. Z User Workshop (1994)
Jonathan P. Bowen
Comp.specification.z and Z FORUM Frequently Asked Questions. Z User Workshop (1994)
Jon G. Hall, John Alexander McDermid
Towards a Z Method: Axiomatic Specification in Z. Z User Workshop (1994)
Daniel K. C. Chan, Philip W. Trinder
An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z. Z User Workshop (1994)
Jonathan P. Bowen, Michael J. C. Gordon
Z and HOL. Z User Workshop (1994)
Wilhelm Hasselbring
Animation of Object-Z Specifications with a Set-Oriented Prototyping Language. Z User Workshop (1994)
Fiona Polack, Keith Mander
Software Quality Assurance Using the SAZ Method. Z User Workshop (1994)
Peter Baumann
Z and Natural Semantics. Z User Workshop (1994)
Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance
The Formal Specification in Z of Defence Standard 00-56. Z User Workshop (1994)
Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings Z User Workshop (1994)
Leslie Lamport
TLZ. Z User Workshop (1994)
Anthony Hall
Specifying and Interpreting Class Hierarchies in Z. Z User Workshop (1994)
Peter T. Breuer, Jonathan P. Bowen
Towards Correct Executable Semantics for Z. Z User Workshop (1994)
Marcin Engel
Specifying Real-Time Systems with Z and the Duration Calculus. Z User Workshop (1994)
Antoni Diller, Rosemary Docherty
Z and Abstract Machine Notation: A Comparison. Z User Workshop (1994)
Peter Mataga, Pamela Zave
Formal Specification of Telephone Features. Z User Workshop (1994)
Jonathan P. Bowen
Select Z Bibliography. Z User Workshop (1994)
Clazien D. Wezeman, Anthony J. Judge
Z for Managed Objects. Z User Workshop (1994)
David Garlan
Integrating Formal Methods into a Professional Master of Software Engineering Program. Z User Workshop (1994)
Graeme Smith
An Object-Oriented Development Framework for Z. Z User Workshop (1994)
David A. Carrington, Phil Stocks
A Tale of Two Paradigms: Formal Methods and Software Testing. Z User Workshop (1994)
Andy Evans
Visualising Concurrent Z Specifications. Z User Workshop (1994)
Jonathan Hammond
Producing Z Specifications from Object-Oriented Analysis. Z User Workshop (1994)

1993

Z User Workshop, London, UK, 14-15 December 1992, Proceedings Z User Workshop (1993)

1992

1991