Abstract

In this paper the Vienna Development Method (VDM) is related to the various phases of activities throughout the process of software development. Several shortcomings of VDM are discussed and the combination of Object-Oriented Design (OOD) techniques, enriched by guidelines from the Jackson System Design method (JSD), with VDM is examined. The use of VDM to derive Ada package software is discussed.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call