Login / Signup
Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt.
Audrey Occello
Anne-Marie Dery-Pinna
Michel Riveill
Published in:
ICST Workshops (2008)
Keyphrases
</>
case study
metamodel
computational model
mathematical model
formal model
model driven
database
probabilistic model
experimental data
high level
prior knowledge
probability distribution
object oriented
software systems
statistical model