scientific article; zbMATH DE number 550761

MaRDI QIDQ4287760zbMATH OpenFDO

Authors Mark Woodman, Benedict Heal

Publication date 13 April 1994

zbMATH Keywords

abstract models of datadiscrete mathematicsoperation modellingspecification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The transition from VDL to VDM
• scientific article; zbMATH DE number 595218
• scientific article; zbMATH DE number 225504
• VDM and Z: A comparative case study
• scientific article; zbMATH DE number 1105197
• Modular structuring of VDM specifications in VVSL
• scientific article; zbMATH DE number 139994
• The VMS workshop series
• scientific article; zbMATH DE number 1107557
• scientific article; zbMATH DE number 3936465

Cited in

(20)

• VDM '88. VDM (Vienna development method) - The way ahead. 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
• VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
• A formal semantics of data flow diagrams
• Vienna development method: An informal introduction
• Formal specification is an experimental science
• The transition from VDL to VDM
• Ten years of historical development ``bootstrapping VDMTools
• Formal methods in software development Z, B and VDM: comparison analysis
• scientific article; zbMATH DE number 4016178 (Why is no real title available?)
• scientific article; zbMATH DE number 3936465 (Why is no real title available?)
• scientific article; zbMATH DE number 3960970 (Why is no real title available?)
• scientific article; zbMATH DE number 18650 (Why is no real title available?)
• scientific article; zbMATH DE number 46741 (Why is no real title available?)
• scientific article; zbMATH DE number 139994 (Why is no real title available?)
• scientific article; zbMATH DE number 595218 (Why is no real title available?)
• scientific article; zbMATH DE number 1107557 (Why is no real title available?)
• scientific article; zbMATH DE number 1487471 (Why is no real title available?)
• scientific article; zbMATH DE number 1737610 (Why is no real title available?)
• scientific article; zbMATH DE number 756081 (Why is no real title available?)
• scientific article; zbMATH DE number 225504 (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 Q4287760)