A compositional approach to statecharts semantics.

Gerald Lüttgen Michael von der Beeck Rance Cleaveland

Published in: SIGSOFT FSE (2000)

Keyphrases

formal semantics
logic programming
logical framework
data sets
high level
domain knowledge
default reasoning
agent oriented
sequence diagrams
argumentation semantics