Development of Semantic Debuggers Based on Refinement Calculus.

Rohit N. Kundaji R. K. Shyamasundar

Published in: ICLP (2004)

Keyphrases

software engineering
knowledge based systems
semantic information
rapid development
ontology driven
case study
information processing
high level
database systems
keywords
domain specific
semantic web
domain ontology