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

zbMATH Open1363.68037MaRDI QIDQ2819047

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

VDMcomparison analysisformal methods in software developmentZ notation, B method

Mathematics Subject Classification ID

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

Related Items (1)

Title not available (Why is that?)

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)