Keyphrases
- formal methods
- software reliability
- software testing
- formal specification
- prediction model
- software engineering
- knowledge based systems
- model checking
- artificial intelligence
- bp neural network
- wavelet neural network
- development lifecycle
- root mean square error
- knowledge acquisition
- expert systems
- information systems
- real world
- neural network