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