UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models.

Asadullah Shaikh Uffe Kock Wiil Nasrullah Memon

Published in: SAM (2010)

Keyphrases

metamodel
complex systems
uml models
probabilistic model
learning environment
software systems
process model
statistical models
neural network
artificial intelligence
bayesian networks
object oriented
software development
model selection
test cases
black box