ASIS 83 -- Documents and Artifacts

ASIS 83 Specification Documents and Software

ASIS, Version 1.1.1

The version of ASIS for Ada 83 is known as ASIS 83. This specification is available in several forms via FTP:

A Postcript version (compressed in a .zip file, 202Kb).
An ASCII listing (compressed in a .zip file, 167Kb) of the complete line-numbered interface listing, including all Annexes (369 pages).
An Ada source file (compressed in a .zip file, 114Kb) of the complete interface, including all Annexes, in a form suitable for compilation with an Ada83 compiler.

ASIS 83 Test Suite

Many of the vendors who developed ASIS for Ada 83 submitted many of their tests to the general ASIS 83 community. These are available via ftp in the directory asis/v1.1.1/tests/ on the SW-Eng.Falls-Church.Va.US host.

ASIS Program View Layer (ASIS/PVL)

The ASIS Program View Layer (ASIS/PVL) is a set of reusable abstractions built upon ASIS 83. The ASIS/PVL abstractions are "views" of Ada software structure that are commonly used in the static analysis of programs. More is described in the ASIS/PVL README text file. ASIS/PVL is available via FTP:

ASIS/PVL README text file.
UNIX tar file (.tar file, 2,408Kb).
UNIX compressed tar file (.tar.Z file, 505Kb)

ASIS 83 Tutorials

There are several tutorials available for ASIS 83. The following are available to the public domain for your use:

ASIS Fundamentals, submitted by Rational Software Corporation. This tutorial consists of a PowerPoint slide presentation with additional text files to complement the tutorial. This presentation is also available in PostScript. It is part of Rational's ASIS Fundamentals Training Course, all of which will fit on a 3.5" floppy in MS-DOS format:

ASIS.PPT -- The PowerPoint file that contains the training slides
SOLUTION.TAR -- The Ada units that are the solutions to the exercises
UTILITYS.TAR -- The Ada units that comprise the TSO ASIS utilities
REUSABLE.TAR -- The Ada units that are reusable components
README.TXT -- Instructions on running the Tutorial
TRI-Ada'94 ASIS Tutorial Presentation, submitted by Thomson Software. It consists of a PowerPoint slide presentation and will soon be available in PostScript.

If you or your organization has an ASIS tutorial and you are interested in making it available to the Ada community, please contact Clyde Roby for more information.

[Up] [SIGAda] [ACM]

Last update 25 November 1997. Questions, comments to Clyde Roby (CRoby@IDA.Org)