Specification and Verification of Model Transformations Using UML-RSDS.

Kevin Lano Shekoufeh Kolahdouz Rahimi

Published in: IFM (2010)

Keyphrases

computational model
high level
face recognition
theoretical framework
mathematical model
e learning
similarity measure
multi agent systems
probability distribution
management system
parameter estimation
formal model
dependency graph