Add to ORKGThe 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
An integrated set of tools called a validation environment is proposed to support the validation of ...
Today, it is impossible to verify performance requirements on Ada software, except in a very approxi...
A history of the Query Utility Environment for Software Testing (QUEST)/Ada is presented. A fairly c...
The use of the Ada language and design methodologies that utilize its features has a strong impact o...
A validation procedure for the Ada binding of the Graphical Kernel System (GKS) is being developed. ...
Considerable experience was acquired with Ada at the NASA Dryden Flight Research Facility during the...
Considerable experience has been acquired with Ada at the NASA Dryden Flight Research Facility durin...
Software development for NASA's Space Station poses a significant problem; considered the most diffi...
Ada is becoming an increasingly popular programming language for large Government-funded software pr...
As Ada solidified in its development, it became evident that it offered advantages for avionics syst...
The Department of Defense mandate to standardize on Ada as the language for software systems develop...
Recent NASA missions have required software systems that are larger, more complex, and more critical...
Various issues are studied in the context of the design of an Ada based expert system building tool....
Recent experiences with using Ada in a real time environment are described. The application was the ...
Topics discussed include: reusability; mission critical issues; run time; expert systems; language i...
An integrated set of tools called a validation environment is proposed to support the validation of ...
Today, it is impossible to verify performance requirements on Ada software, except in a very approxi...
A history of the Query Utility Environment for Software Testing (QUEST)/Ada is presented. A fairly c...
The use of the Ada language and design methodologies that utilize its features has a strong impact o...
A validation procedure for the Ada binding of the Graphical Kernel System (GKS) is being developed. ...
Considerable experience was acquired with Ada at the NASA Dryden Flight Research Facility during the...
Considerable experience has been acquired with Ada at the NASA Dryden Flight Research Facility durin...
Software development for NASA's Space Station poses a significant problem; considered the most diffi...
Ada is becoming an increasingly popular programming language for large Government-funded software pr...
As Ada solidified in its development, it became evident that it offered advantages for avionics syst...
The Department of Defense mandate to standardize on Ada as the language for software systems develop...
Recent NASA missions have required software systems that are larger, more complex, and more critical...
Various issues are studied in the context of the design of an Ada based expert system building tool....
Recent experiences with using Ada in a real time environment are described. The application was the ...
Topics discussed include: reusability; mission critical issues; run time; expert systems; language i...
An integrated set of tools called a validation environment is proposed to support the validation of ...
Today, it is impossible to verify performance requirements on Ada software, except in a very approxi...
A history of the Query Utility Environment for Software Testing (QUEST)/Ada is presented. A fairly c...