A Debugging Scheme for Declarative Equation Based Modeling Languages.

Peter Bunus Peter Fritzson

Published in: PADL (2002)

Keyphrases

modeling language
declarative language
metamodel
deductive databases
knowledge representation
business process modeling
knowledge base
high level
model based diagnosis
software testing