scientific article; zbMATH DE number 1487471

MaRDI QIDQ4493874zbMATH OpenFDO

Authors Cliff B. Jones

Publication date 1999

zbMATH Keywords

VDMVienna Development Method

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 550761
• scientific article; zbMATH DE number 46741
• VDM '88. VDM (Vienna development method) - The way ahead. 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
• scientific article; zbMATH DE number 4016178

Cited in

(6)

• VDM '88. VDM (Vienna development method) - The way ahead. 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
• Vienna development method: An informal introduction
• The origins of structural operational semantics
• Ten years of historical development ``bootstrapping VDMTools
• scientific article; zbMATH DE number 4016178 (Why is no real title available?)
• scientific article; zbMATH DE number 1737610 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4493874)