Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.
Jamieson M. CobleighGeorge S. AvruninLori A. ClarkePublished in: ACM Trans. Softw. Eng. Methodol. (2008)
Keyphrases
- evaluation methods
- semi automatic
- neural network
- reasoning systems
- artificial intelligence
- expert systems
- computer aided
- machine learning
- spatial reasoning
- learning algorithm
- information systems
- knowledge base
- search algorithm
- genetic algorithm
- evaluation metrics
- evaluation model
- evaluation process
- automated analysis
- real time
- model based reasoning