VDM

I'm anything but bigoted about specific formal methods (in fact, the RODIN project is making "Event-B" its primary delivery meta-language). But, VDM is successful; is used in industry and is taught commercially. (For further information see vdm-portal).

The specification language (VDM-SL) was one of the first to be standardized (see ISO VDM-SL Standard ).

I was co-founder of an EEC group organised four international symposia on VDM and related matters: the VDM-Europe then group agreed to widen its scope and is now called Formal Methods Europe (FME).

The first three books listed below are concerned with general use of VDM (Google Scholar shows over 2500 citations to the 1990 book in April 2011).

The last two books listed below are specific to the description of language semantics (see also my semantics library pages).

Systematic Software Development using VDM

Written by C. B. Jones; Published by Prentice Hall International in 1990. (ISBN: 0-13-880733-7) - now available as a pdf (plus Teaching Notes as a pdf).
(Also translated into French by Michel Lemoine as VDM Une methode rigoureuse por le developpment du logiciel )

Case Studies in Systematic Software Development

Edited by C. B. Jones and R. Shaw; Published by Prentice Hall International in 1990. (ISBN: 0-13-880733-7) - now available on-line as pdf

Software Development: A Rigorous Approach

Written by C. B. Jones; Published by Prentice Hall International in 1980. (ISBN: 0-13-821884-6) - now available as a scanned pdf
(Translated into Polish by Teresa i Krzysztof Piaseccy as Konstruowanie oprogramowania metoda systematyczna.)

The Vienna Development Method: The Meta-Language

Edited by D. Bjørner and C. B. Jones; Published by Springer-Verlag as Lecture Notes in Computer Science (Volume 61) in 1978.

Formal Specification and Software Development

By D. Bjørner and C. B. Jones; Published by Prentice Hall International in 1982 - now available as a scanned pdf.

Cliff's Home