Compositional specification of behavioral semantics.

Kai Chen Janos Sztipanovits Sandeep Neema

Published in: DATE (2007)

Keyphrases

specification language
operational semantics
specification languages
formal specification
conceptual model
formal semantics
conceptual schema
process algebra
active rules
high level
logic programming
action language
control flow
attribute grammars
asynchronous circuits
data sets
relational databases
neural network