Add to ORKGA collection of document abstracts are presented on the topic of improving software dependability through NASA grant NAG-1-1123. Specific topics include: modeling of error detection; software inspection; test cases; Magnetic Stereotaxis System safety specifications and fault trees; and injection of synthetic faults into software
Software plays an increasingly larger role in all aspects of NASA's science missions. This has been ...
Measurement of software reliability was carried out during the development of data base software for...
Modular design techniques improve methods of error detection, diagnosis, and recovery. Theoretical c...
Accomplishments in the following research areas are summarized: structure based testing, reliability...
During the grant reporting period our primary activities have been to begin preparation for the esta...
The results of a software reliability experiment conducted in a controlled laboratory setting are re...
Research in the year covered by this reporting period has been primarily directed toward the followi...
The presentation summarizes the application of SFRAT and next generation SWEEP tool to NASA programs...
Several short summaries of the work performed during this reporting period are presented. Topics dis...
A study undertaken to collect software error data of laboratory quality for use in the development o...
The state of the art in the production of crucial software for flight control applications was addre...
This paper is concerned with methods of measuring and developing quality software. Reliable flight a...
This presentation discusses the facts, trends and challenges in software engineering and software re...
The primary goal was to determine whether the application of fault tolerance to software increases i...
This working paper discusses the statistical simulation part of a controlled software development ex...
Software plays an increasingly larger role in all aspects of NASA's science missions. This has been ...
Measurement of software reliability was carried out during the development of data base software for...
Modular design techniques improve methods of error detection, diagnosis, and recovery. Theoretical c...
Accomplishments in the following research areas are summarized: structure based testing, reliability...
During the grant reporting period our primary activities have been to begin preparation for the esta...
The results of a software reliability experiment conducted in a controlled laboratory setting are re...
Research in the year covered by this reporting period has been primarily directed toward the followi...
The presentation summarizes the application of SFRAT and next generation SWEEP tool to NASA programs...
Several short summaries of the work performed during this reporting period are presented. Topics dis...
A study undertaken to collect software error data of laboratory quality for use in the development o...
The state of the art in the production of crucial software for flight control applications was addre...
This paper is concerned with methods of measuring and developing quality software. Reliable flight a...
This presentation discusses the facts, trends and challenges in software engineering and software re...
The primary goal was to determine whether the application of fault tolerance to software increases i...
This working paper discusses the statistical simulation part of a controlled software development ex...
Software plays an increasingly larger role in all aspects of NASA's science missions. This has been ...
Measurement of software reliability was carried out during the development of data base software for...
Modular design techniques improve methods of error detection, diagnosis, and recovery. Theoretical c...