Ada and ASIS: justification of differences in terminology and mechanisms
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Architecture of ASIS: a tool to support code analysis of complex systems
ACM SIGAda Ada Letters
ASIStint: an interactive ASIS interpreter
Proceedings of the conference on TRI-Ada '97
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
About the Difficulties of Building a Pretty-Printer for Ada
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
A test environment for high integrity software development
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Hi-index | 0.00 |