Irish School of VDM

Part of the Undergraduate Topics in Computer Science book series (UTICS)


This chapter discusses the Irish school of VDM, which is a variant of standard VDM. It employs a constructive approach, classical mathematical style and a terse notation. Its terse style stipulates in concise form what the system should do, and furthermore, the fact that its specifications are constructive (or functional) means that that the how is included with the what.


  1. 1.
    M.M.A. Airchinnigh, Computation Models and Computing. Ph.D. thesis, Dept. of Computer Science. Trinity College DublinGoogle Scholar
  2. 2.
    G. Polya, How to Solve It. A New Aspect of Mathematical Method (Princeton University Press, 1957)Google Scholar
  3. 3.
    I. Lakatos, Proof and Refutations. The Logic of Mathematical Discovery (Cambridge University Press, 1976)Google Scholar
  4. 4.
    A. Butterfield, VDM Mathematical Structures for Formal Methods (Foundations and ethods Group, Trinity College, Dublin, 19th May 2000)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.SQC ConsultingMallow, County CorkIreland

Personalised recommendations