A formal description of object-oriented programming using VDM

  • Cydney Minkowitz
  • Peter Henderson
Part of the Lecture Notes in Computer Science book series (LNCS, volume 252)


Specification Language Message Passing Local Operation Class Hierarchy Composite Type 
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. [1]
    Jones, C.B. "Systematic Software Development Using VDM" Prentice-Hall International Series in Computer Science, 1986Google Scholar
  2. [2]
    Charniak, E., Riesbeck, K. and McDermott, D.V. "Artificial Intelligence Programming" Lawrence Erlbaum Associates, Publishers, 1980Google Scholar
  3. [3]
    Abelson, H. and Sussman, G.J. with Sussman, J. "Structure and Interpretation of Computer Programs" The MIT Electrical Engineering and Computer Science Series, The MIT Press, McGraw-Hill Book Company, 1985Google Scholar
  4. [4]
    Winston, P.H. "Artificial Intelligence" — Second Edition Addison-Wesley Publishing Company, 1984Google Scholar
  5. [5]
    Goldberg, A. and Robson, D "Smalltalk-80 the Language and its Implementation" Addison-Wesley Publishing Company, 1983Google Scholar
  6. [6]
    Henderson, P. "Functional Programming, Formal Specification and Rapid Prototyping" IEEE Transactions on Software Engineering, Vol. SE-12, No. 1, 1986Google Scholar
  7. [7]
    Henderson, P and Minkowitz,C.J. "The me too method of software design" ICL Journal, Volume 5, Issue 1, May 1986Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Cydney Minkowitz
    • 1
    • 2
  • Peter Henderson
    • 1
  1. 1.Computing ScienceUniversity of StirlingStirlingScotland
  2. 2.STC Technology Ltd., STL North WestNewcastle under Lyme

Personalised recommendations