Ada and ASIS: justification of differences in terminology and mechanisms

Authors:
Sergey Rybin;Alfred Strohmeier
Affiliations:
Scientific Research Computer Center, Moscow State University, Vorobévi Gori, Moscow I1 9899, Russia;Swiss Fed lnst of Technology in Luusanne, Software Engineering Lab, CH-1015 Lausanne, Switzerland
Venue:
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Year:
1996

Citing 2
Cited 1

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

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

Quantified Score

Hi-index	0.00

Visualization

Abstract