Using Automated Reasoning Techniques to Determine Software Reuse.

Jun-Jang Jeng Betty H. C. Cheng

Published in: Int. J. Softw. Eng. Knowl. Eng. (1992)

Keyphrases

automated reasoning
software reuse
theorem prover
software components
theorem proving
knowledge representation
software engineering
software development
reasoning tasks
probabilistic reasoning
reusable components
databases
neural network
case study
health care