Abstract
Mathematical notations have the power to simplify programming. Every so often some aspect of my work reminds me of this power. This can be an exciting experience and is especially gratifying as many people, including myself during the first dozen years of my programming experience, would be sceptical that mathematics had any part to play in the subordination of complexity.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
“The Z Notation: A Reference Manual”: Spivey J. M.; Prentice Hall International 1992
“A Z Guide for Beginners”: McMorran, M. and Powell; Blackwell Scientific Publishing 1994; ISBN 0 632 03 117-4
“Specifying Distributed CICS in Z”: Houston, I. S. C. and Josephs, M. B. in Formal Aspects of Computing 6(5): 569–579
“A Description of the OMG’s Core Object Model and the Meaning of Compatible Extension” in Computer Standards and Interfaces Vol. 17Nos. 5 and 6 North Holland Elsevier pp 553–588; Houston, I. S. C. and Josephs, M.B.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
Houston, I. (1996). Anecdotes About Making a Specification Simpler. In: Object-Oriented Behavioral Specifications. The Springer International Series in Engineering and Computer Science, vol 371. Springer, Boston, MA. https://doi.org/10.1007/978-0-585-27524-6_5
Download citation
DOI: https://doi.org/10.1007/978-0-585-27524-6_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-9778-6
Online ISBN: 978-0-585-27524-6
eBook Packages: Springer Book Archive