A Formal Behavioral Semantics for TestML.

Jürgen Großmann Wolfgang Müller

Published in: ISoLA (2006)

Keyphrases

operational semantics
formal language
machine processable
model theoretic
formal semantics
specification languages
semantic information
highly expressive
formal languages
logic programming
dynamic aspects
artificial intelligence
social networks
semantic representation
algebraic operators