On challenges of model transformation from UML to Alloy.

Kyriakos Anastasakis Behzad Bordbar Geri Georg Indrakshi Ray

Published in: Softw. Syst. Model. (2010)

Keyphrases

experimental data
statistical model
formal model
specification language
prior knowledge
management system
computational model
mathematical model
data sets
theoretical analysis
conceptual model
lessons learned
metamodel
dependency graph