NTIS Ada Documents 
Author Message
 NTIS Ada Documents

Does anyone know if any of the following NTIS Ada documents are available
at FTP sites?

Rationale for the Design of Ada (1987) ADA 187 106
Ada in Mission Critical System Aquisition (1984) ADA 149 271
Proc. 1st IDA Workshop on Formal Spec. and Ver. of Ada (1985) ADA 171 507
Proc. 2nd IDA Workshop on Formal Spec. and Ver. of Ada (1985) ADA 172 747

Thanks for your help.

David Jordan.

---------------------------------------------------------------------
David Jordan                           Phone:    +44 (0)904 433741
Technical Products Manager             Fax:      +44 (0)904 433744


York YO1 5DD
England



Sat, 06 Aug 1994 17:46:01 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Rabbit report. (NTIS)

2. NTIS or other test suite sought (please 8-)

3. Ada, Ada,Ada,Ada,Ada,Ada,Ada,Ada Development

4. Ada Compiler Validation Procedures and Guidelines document

5. Ada design documents

6. Ada PDL -> document tools

7. Filenames of Ada 9x documents on ajpo

8. Global Document Handling Template - Document Send Extension

9. document, document

10. JOB ADA JOB ADA JOB ADA JOB ADA

11. Why Ada is failing - comp.lang.ada #4245 - comp.lang.ada #4273

12. how to convert a html document to xml document in labview?

 

 
Powered by phpBB® Forum Software