A PROTOTYPE VERDI/ADA ENVIRONMENT: THE VERDI/ADA TOOLSET. TASK 10

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
Describes the prototype toolset supporting the formal method. The toolset includes support for building and executing networks of communicating Verdi and Ada processes. It also includes a simple user interface for EVES.
Keywords
TOOLSET;FORMAL METHOD;PROCESS NETWORKS;PROCESS INTERFACE LANGUAGE;RUN-TIME ENVIRONMENT
Date of publication
05 Aug 1993
Number of Pages
23
DSTKIM No
94-00247
CANDIS No
135992
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: