Login / Signup
Using Patterns to Map OCL Constraints to JML Specifications.
Ali Hamie
Published in:
MODELSWARD (Revised Selected Papers) (2014)
Keyphrases
</>
constraint language
maximum a posteriori
pattern mining
constrained optimization
database
data mining techniques
constraint programming
anti monotone
neural network
frequent patterns
constraint satisfaction
design patterns
interesting patterns
specification language