Semi-Automated Software Integration: An Approach Based on Logical Inference.

Mikhail Kazakov Habib Abdulrab

Published in: ICEIS (3) (2004)

Keyphrases

semi automated
logical inference
fully automated
theorem proving
software development
source code
information integration
databases
multimedia
knowledge based systems
natural language processing
constraint programming