Formal methods in software development Z, B and VDM: comparison analysis

MaRDI QIDQ2819047zbMATH OpenFDO

Authors D. B. Buy, O. M. Kolegaev

Publication date 27 September 2016

Published in Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka (Search for Journal in Brave)

zbMATH Keywords

comparison analysisformal methods in software developmentVDMZ notation, B method

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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 4016178
• scientific article; zbMATH DE number 550761
• VDM and Z: A comparative case study
• Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)

Cited in

(3)

• VDM and Z: A comparative case study
• scientific article; zbMATH DE number 1104388 (Why is no real title available?)
• scientific article; zbMATH DE number 2013591 (Why is no real title available?)

This page was built for publication: Formal methods in software development Z, B and VDM: comparison analysis

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