Loading...
Please wait, while we are loading the content...
Similar Documents
Quest/ada (query utility environment for software testing of ada: the development of a program analysis environment for ada, task 1, phase 3
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Brown, David B. |
| Copyright Year | 1991 |
| Description | The results of research and development efforts of the first six months of Task 1, Phase 3 of the project are presented. The goals of Phase 3 are: (1) to further refine the rule base and complete the comparative rule base evaluation; (2) to implement and evaluate a concurrency testing prototype; (3) to convert the complete (unit-level and concurrency) testing prototype to a workstation environment; and (4) to provide a prototype development document to facilitate the transfer of research technology to a working environment. These goals were partially met and the results are summarized. |
| File Size | 4050184 |
| Page Count | 105 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19910010422 |
| Archival Resource Key | ark:/13960/t12p01m5g |
| Language | English |
| Publisher Date | 1991-02-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Computer Programming Concurrent Processing Checkout Ada Programming Language Technology Transfer Project Management Prototypes Workstations Computer Programs Program Verification Computers Ntrs Nasa Technical Reports ServerĀ (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |