Towards Test-Driven Semantics Specification.

Christian Soltenborn Gregor Engels

Published in: MoDELS (2009)

Keyphrases

specification language
formal specification
formal semantics
specification languages
data driven
semantic information
operational semantics
information systems
high level
test cases
data exchange
conceptual model
control flow
transformation rules
action language