Analytic Verification of Flight Software.
Michael R. LowryDaniel DvorakPublished in: IEEE Intell. Syst. (1998)
Keyphrases
- formal methods
- formal verification
- software packages
- source code
- software development
- development process
- design patterns
- computer software
- analysis tool
- software design
- commercial software
- software tools
- software platform
- software architecture
- flight data
- object oriented
- user interface
- software maintenance
- space shuttle
- hardware designs
- hardware design
- software evolution
- data sets
- software components
- computer systems
- software engineering
- databases