TY - JOUR
T1 - Multiple view environment supporting VDM and Ada
AU - Ibalooshi, F. A.
AU - Long, F.
PY - 1999/8
Y1 - 1999/8
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0033170303&partnerID=8YFLogxK
U2 - 10.1049/ip-sen:19990487
DO - 10.1049/ip-sen:19990487
M3 - Article
AN - SCOPUS:0033170303
SN - 1462-5970
VL - 146
SP - 203
EP - 219
JO - IEE Proceedings: Software
JF - IEE Proceedings: Software
IS - 4
ER -