Loading...
Thumbnail Image
Item

µ-Charts and Z: hows, whys and wherefores

Abstract
In this paper we show, by a series of examples, how the µ-chart formalism can be translated into Z. We give reasons for why this is an interesting and sensible thing to do and what it might be used for.
Type
Working Paper
Type of thesis
Series
Computer Science Working Papers
Citation
Reeve, G. & Reeves, S. (2000). µ-Charts and Z: hows, whys and wherefores. (Working paper 00/06). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Date
2000-03
Publisher
University of Waikato, Department of Computer Science
Degree
Supervisors
Rights