Design of Knowiedge-Based Integrity Systems with ISL++.
James F. PetersSheela RamannaElizabeth A. UngerPublished in: SEKE (1990)
Keyphrases
- design criteria
- case study
- high assurance
- knowledge based systems
- building blocks
- expert systems
- user experience
- retrieval systems
- complex systems
- design requirements
- human computer interface
- databases
- distributed systems
- management system
- software engineering
- optimal design
- design space
- interactive systems
- mobile devices
- genetic algorithm
- mechanical systems
- operating environment
- neural network