From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems.
César A. MuñozAnthony NarkawiczAaron DutlePublished in: FM (2018)
Keyphrases
- computer systems
- formal methods
- information systems
- industrial strength
- requirements specification
- real time systems
- artificial intelligence
- legacy systems
- commercial software
- software engineers
- path planning
- management system
- software developers
- software design
- expert systems
- software components
- software development
- software packages
- software systems
- dynamic aspects
- software requirements
- commercial off the shelf
- web services