Systematic software development using VDM

19861,725 citationsBook

Authors

Abstract

Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation decomposition a small case study.

Topics & Keywords

Software Engineering Research Advanced Software Engineering Methodologies Software Reliability and Analysis Research

Publication Details

Published in: Prentice Hall International (UK) Ltd. eBooks

Field-Weighted Citation Impact: 79.23

Command Palette

Systematic software development using VDM

Authors

Abstract

Topics & Keywords

Publication Details