A PROTOTYPE VERDI/ADA ENVIRONMENT. TASK 12

Authors
  1. Andrews, J.D.
Corporate Authors
Andyne Computing Ltd, Kingston ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
Abstract
Andyne, on behalf of the Department of National Defence (DND), has developed a prototype Verdi/Ada environment for the Sun-3 running SunOS. Using the environment, it is possible to develop multiple process applications, with some tasks written in Ada (ARM83) and others written in Verdi (Cra91, Saa90). The document summarizes the work.
Keywords
PROCESS NETWORK ARCHITECTURE;REMOTELY CALLABLE PROCEDURES;FORMAL METHOD
Date of publication
08 Aug 1993
Number of Pages
22
DSTKIM No
94-00244
CANDIS No
135994
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: