Design of Dependable Ada Software, by G. Motet, A. Mapinard and J. C. Geoffroy, Prentice Hall, 1995 (Book Review).
Brian A. WichmannPublished in: Softw. Test. Verification Reliab. (1996)
Keyphrases
- software architecture
- software design
- user interface
- case study
- design concepts
- embedded systems
- design process
- software environment
- design patterns
- design tools
- software maintenance
- software suite
- intellectual property
- hardware design
- design methodology
- modeling language
- design decisions
- real time
- design principles
- fault tolerant
- software engineering
- data sets