The Vienna development method : the Meta-language /

The Vienna development method the Meta-language /

Full Text (via Springer)

Specification of Software Systems / by Alagar, V. S.

Table of Contents: “…Specifications -- Vienna Development Method -- The Z Notation -- Larch.…”
Full Text (via Springer)

Mathematical approaches to software quality by O'Regan, Gerard (Cornelius Gerard)

Table of Contents: “…language -- Vienna development method -- Irish school of VDM -- Dijkstra …”
Full Text (via Springer)

Concise guide to formal methods : theory, fundamentals and industry applications / by O'Regan, Gerard (Cornelius Gerard)

Table of Contents: “…Language -- Vienna Development Method -- Irish School of VDM -- Unified …”
Full Text (via Springer)

Formal description of programming concepts /

Table of Contents: “…aspects of the Vienna Development Method : towards a meaning of 'M' in VDM …”

Specification of software systems by Alagar, Vangalur S., 1940-

Table of Contents: “…specifications: Vienna development method -- The Z notation -- The object-Z …”
Full Text (via Springer)

Logics of specification languages

Table of Contents: “…functions and the Vienna development method / John S. Fitzgerald -- Z logic and …”
Full Text (via Springer)

MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics / by Blikle, Andrzej

Full Text (via Springer)

VDM '87 VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /

Table of Contents: “…support the Vienna development method -- Use of VDM within CCITT -- A formal …”
Full Text (via Springer)

Mathematical studies of information processing proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 /

Table of Contents: “…interpretation -- The vienna development method (VDM) -- On a uniform formal description …”
Full Text (via Springer)

VDM '91 formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991 : proceedings /

Full Text (via Springer)

Mural: A Formal Development Support System / by Jones, C. B.

Full Text (via Springer)

VDM'91 Formal Software Development Methods 4th International Symposium of VDM Europe Noordwijkerhout, the Netherlands, October 1991 Proceedings /

Full Text (via Springer)