C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal semantics of static and temporal state-oriented OCL constraints.
Stephan Flake
Wolfgang Müller
Published in:
Softw. Syst. Model. (2003)
Keyphrases
</>
formal semantics
modeling language
dynamic constraints
constraint language
artificial intelligence
bayesian networks
first order logic
temporal reasoning
logical reasoning
databases
machine learning
software engineering
open source
formal language