Analogical approach to specification derivation
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Creating abstract superclasses by refactoring
CSC '93 Proceedings of the 1993 ACM conference on Computer science
The Domain Theory for Requirements Engineering
IEEE Transactions on Software Engineering
Octopus: Combining Learning and Parallel Search
Journal of Automated Reasoning
Program derivation using analogy
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.03 |