Login / Signup
A formal approach to the specification and transformation of constraints in MDE.
Adrian Rutle
Alessandro Rossini
Yngve Lamo
Uwe Wolter
Published in:
J. Log. Algebraic Methods Program. (2012)
Keyphrases
</>
formal specification
formal language
formal methods
constraint satisfaction
artificial intelligence
high level
reactive systems
specification languages
real time
formal languages
operational semantics
constrained optimization
linear constraints
closed form solutions
constraint language
temporal logic
co occurrence