An Interactive Program Verification System.
Donald I. GoodRalph L. LondonW. W. BledsoePublished in: IEEE Trans. Software Eng. (1975)
Keyphrases
- real time
- product configuration
- graphical interface
- interactive learning
- user friendly
- virtual reality
- computer graphics
- user interaction
- multi agent systems
- objective function
- bayesian networks
- data analysis
- multimedia
- virtual environment
- metadata
- knowledge base
- information systems
- genetic algorithm
- data sets
- database