Research Catalog

The development of a program analysis environment for Ada

Title
The development of a program analysis environment for Ada [microform] / David B. Brown.
Author
Brown, David B., 1943-
Publication
Auburn, Ala. : College of Engineering & Engineering Experiment Station, Auburn University ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1989]

Available Online

http://purl.access.gpo.gov/GPO/LPS61600

Details

Additional Authors
United States. National Aeronautics and Space Administration
Description
1 v.
Series Statement
NASA-CR ; 185860
Uniform Title
NASA contractor report ; NASA CR-185860.
Alternative Title
QUEST/Ada Query utility environment for software testing of Ada
Subject
  • Ada (Programming language)
  • Computer programs
  • Program verfication (Computers)
  • Prototypes
  • Software engineering
Additional Formats (note)
  • Also available via Internet from the NASA Technical Report Server web site. Address as of 7/12/05: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19900004646%5F1990004646.pdf ; current access is available via PURL.
Reproduction (note)
  • Microfiche.
Call Number
GPO Microfiche NAS 1.26:185860
OCLC
marcive60856905
Author
Brown, David B., 1943-
Title
The development of a program analysis environment for Ada [microform] / David B. Brown.
Imprint
Auburn, Ala. : College of Engineering & Engineering Experiment Station, Auburn University ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1989]
Series
NASA-CR ; 185860
NASA contractor report ; NASA CR-185860.
Additional Formats
Also available via Internet from the NASA Technical Report Server web site. Address as of 7/12/05: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19900004646%5F1990004646.pdf ; current access is available via PURL.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration], 1990]. 2 microfiches.
Connect to:
http://purl.access.gpo.gov/GPO/LPS61600
Added Author
United States. National Aeronautics and Space Administration.
Note
At head of title: QUEST/Ada Query utility environment for software testing of Ada
Gpo Item No.
0830-H-14 (MF)
0830-H-14 (online)
Sudoc No.
NAS 1.26:185860
Research Call Number
GPO Microfiche NAS 1.26:185860
GPO Internet NAS 1.26:185860
View in Legacy Catalog