Determining relevant model elements for the verification of UML/OCL specifications.

Julia Seiter Robert Wille Mathias Soeken Rolf Drechsler

Published in: DATE (2013)

Keyphrases

metamodel
mathematical model
neural network
high level
computational model
statistical model
specification language
artificial neural networks
probabilistic model
probability distribution
management system
formal verification
class diagram