Heng Chu

Learn More
Various phases in the delivery of software services such as solution design, application deployment, and maintenance require analysis of the dependencies of software products that form the solution. As software systems become more complex and involve a large number of software products from multiple vendors, availability of correct and up-to-date system(More)
Semantic hyper-linking 19921 has been proposed recently to use semantics with hyper-linking [Lee and Plaisted, 19921, an instance-based theorem proving technique. Ground instances are generated until an unsat-isfiable ground set is obtained; semantics is used to greatly reduce the search space. One disadvantage of semantic hyper-linking is,that large ground(More)
  • 1