NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Ada(R) Test and Verification System (ATVS)The Ada Test and Verification System (ATVS) functional description and high level design are completed and summarized. The ATVS will provide a comprehensive set of test and verification capabilities specifically addressing the features of the Ada language, support for embedded system development, distributed environments, and advanced user interface capabilities. Its design emphasis was on effective software development environment integration and flexibility to ensure its long-term use in the Ada software development community.
Document ID
19890006912
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Strelich, Tom (General Research Corp. Santa Barbara, CA, United States)
Date Acquired
September 5, 2013
Publication Date
January 1, 1986
Publication Information
Publication: NASA, Lyndon B. Johnson Space Center, First International Conference on Ada (R) Programming Language Applications for the NASA Space Station, Volume 1
Subject Category
Computer Programming And Software
Accession Number
89N16283
Funding Number(s)
CONTRACT_GRANT: F30602-84-C-0118
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available