On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers.
Ann T. TaiKishor S. TrivediHerbert HechtPublished in: HASE (1997)
Keyphrases
- high assurance
- design process
- formative evaluation
- software systems
- databases
- data sets
- development environment
- design tools
- development process
- cooperative
- information technology
- relational databases
- knowledge based systems
- database
- expert systems
- fault tolerant
- evaluation criteria
- st century
- evaluation methods
- reinforcement learning
- case study
- future development
- design processes
- knowledge base
- neural network