Architecture of ASIS: a tool to support code analysis of complex systems

Authors:
Currie Colket;Gary Barnes;Steve Blake;Dan Cooper;Jesper Jørgensen;Clyde Roby;Dan Rittersdorf;Sergey Ryben;Alfred Strohmeier;Bill Thomas
Affiliations:
SPAWAR, Arlington, Virginia;Rational Software Corporation, Santa Clara, California;Thomson Software Products, San Diego, California;Boeing, Seattle, Washington;DDC-I, Lyngby, Denmark;IDA, Alexandria, Virginia;Concurrent Computer Corporation, Sparta, Michigan;Moscow State University, Moscow, Russia;Swiss Federal Institute of Technology, Lausanne, Switzerland;MITRE, McLean, Virginia
Venue:
ACM SIGAda Ada Letters
Year:
1997

ASIS for GNAT: Goals, Problems and Implementation Strategy

Proceedings of the Second International Eurospace - Ada-Europe Symposium on Ada in Europe
ASIS for GNAT: From the Prototype to the Full Implementation

Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies

Code analysis of saftey-critical and real-time software using ASIS

Proceedings of the 1999 annual ACM SIGAda international conference on Ada
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
A System Dependence Net Generator for Ada Programs

APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference

Hi-index	0.00