Formal validation with OCL.

Thouraya Bouabana-Tebibel

Published in: SMC (2006)

Keyphrases

formal model
formal methods
formal analysis
data sets
machine learning
object oriented
constraint language
information retrieval
evolutionary algorithm
software engineering
open source
constraint satisfaction problems
model validation