Combination of Static and Dynamic Analyses for the Certification of Avionics Software.
Antoine FerlinVirginie WielsPublished in: ISSRE Workshops (2012)
Keyphrases
- software tools
- software package
- development process
- commercial software
- hardware design
- software design
- software development
- neural network
- computer systems
- software maintenance
- combining multiple
- analysis tool
- databases
- control system
- software architecture
- real time
- embedded systems
- user interface
- database systems
- data mining
- software evolution