A Concise Compositionalj Statecharts Semantics Definition.

Michael von der Beeck

Published in: FORTE (2000)

Keyphrases

model theoretic
conceptual model
definition language
logic programming
conceptual modeling
multiple inheritance
semantic information
operational semantics
formal semantics
logical framework
software development
formal methods
reasoning tasks
specification language