Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms.

Martin Gogolla Frank Hilken Khanh-Hoang Doan Nisha Desai

Published in: TAP@STAF (2017)

Keyphrases

metamodel
computational model
experimental data
mathematical model
management system
formal model
similarity measure
statistical model
probabilistic model
probability distribution
database design
model driven
state machine