Anecdotes About Making a Specification Simpler
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.
KeywordsMathematical Notation Proof Obligation Object Management Group Abstract Data Type Predicate Part
Unable to display preview. Download preview PDF.
- [S95]“The Z Notation: A Reference Manual”: Spivey J. M.; Prentice Hall International 1992Google Scholar
- [MP94]“A Z Guide for Beginners”: McMorran, M. and Powell; Blackwell Scientific Publishing 1994; ISBN 0 632 03 117-4Google Scholar
- [HJ94]“Specifying Distributed CICS in Z”: Houston, I. S. C. and Josephs, M. B. in Formal Aspects of Computing 6(5): 569–579Google Scholar
- [HJ95]“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.Google Scholar