VDM development with Ada as the target language is examined. The aim is to study in detail the issues involved and to demonstrate the feasibility of providing semi-automatic tool support for VDM/Ada development, this support being based on a "rule set" for the process. Familiarity with VDM and Ada is assumed.