Dealing with contract violations: formalism and domain specific language.

Guido Governatori Zoran Milosevic

Published in: EDOC (2005)

Keyphrases

domain specific languages
programming language
knowledge representation
information systems
general purpose
neural network
search engine
database
data sets
databases
decision trees
multiscale
formal model
situation calculus
conceptual graphs
revenue sharing