Formal Semantics of Model Fields in Annotation-Based Specifications.

Bernhard Beckert Daniel Bruns

Published in: KI (2012)

Keyphrases

formal semantics
probabilistic model
knowledge representation
software development
conceptual model
formal language