Orientations in Verification Engineering of Avionics Software.
Famantanantsoa RandimbivololonaPublished in: Informatics (2001)
Keyphrases
- software engineering
- source code
- software development
- software systems
- requirements engineering
- software process
- software architecture
- formal methods
- software tools
- artificial intelligence
- software maintenance
- software intensive systems
- development lifecycle
- face verification
- engineering design
- model checking
- computer systems
- software developers
- software design
- software quality
- software projects
- computer software
- asynchronous circuits
- mechanical engineering
- software requirements
- multi agent systems
- functional verification
- case study