scientific article; zbMATH DE number 139994

MaRDI QIDQ4028355zbMATH OpenFDO

Authors Alan P. French, G. P. McKeown, V. J. Rayward-Smith

Publication date 28 March 1993

zbMATH Keywords

specification generationspecification reductionspecification schemasVienna development method

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
• scientific article; zbMATH DE number 46957
• scientific article; zbMATH DE number 4016178
• scientific article; zbMATH DE number 46741
• scientific article; zbMATH DE number 550761

Cited in

(3)

• Modular structuring of VDM specifications in VVSL
• The transition from VDL to VDM
• scientific article; zbMATH DE number 550761 (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 Q4028355)