Verification-driven slicing of UML/OCL models.

Asadullah Shaikh Robert Clarisó Uffe Kock Wiil Nasrullah Memon

Published in: ASE (2010)

Keyphrases

metamodel
probabilistic model
model driven
neural network
statistical models
databases
artificial intelligence
data driven
test cases
modeling language
uml models
database
case study
bayesian networks
computational models
formal methods