Anecdotes About Making a Specification Simpler

  • Iain Houston
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 371)


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.


Mathematical Notation Proof Obligation Object Management Group Abstract Data Type Predicate Part 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [S95]
    “The Z Notation: A Reference Manual”: Spivey J. M.; Prentice Hall International 1992Google Scholar
  2. [MP94]
    “A Z Guide for Beginners”: McMorran, M. and Powell; Blackwell Scientific Publishing 1994; ISBN 0 632 03 117-4Google Scholar
  3. [HJ94]
    “Specifying Distributed CICS in Z”: Houston, I. S. C. and Josephs, M. B. in Formal Aspects of Computing 6(5): 569–579Google Scholar
  4. [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

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Iain Houston
    • 1
  1. 1.IBM United Kingdom LaboratoriesWinchesterEngland

Personalised recommendations