Validating the Design of Dependable Systems.
Cinzia BernardeschiLuca SimonciniAlessandro FantechiPublished in: ISORC (1998)
Keyphrases
- design criteria
- knowledge based systems
- design process
- embedded systems
- building blocks
- computer aided
- highly modular
- design issues
- design decisions
- retrieval systems
- complex systems
- computer systems
- intelligent systems
- operating environment
- design patterns
- information retrieval systems
- design tools
- optimal design
- search engine
- design requirements
- learning algorithm