Multiple view environment supporting VDM and Ada

The paper presents a multiple view, software development environment that supports transformation between VDM and Ada. The environment allows a software system to be represented in a canonical, source language independent form. This representation may then be viewed, and modified, via editors which support different notation. Two specific editors have been developed; one supports the Vienna Development Method (VDM) notation, and the other supports the Ada programming language package specification notation. Automatic transformation between the two notations is achieved via the canonical representation. The representation is stored in a repository implemented using the Portable Common Tool Environment (PCTE), and the editors are implemented using Tcl/Tk.