Using Abstract State Machines to Support UML Model Instantiation Checking.

Wuwei Shen Weng Liong Low

Published in: IASTED Conf. on Software Engineering (2005)

Keyphrases

theoretical framework
mathematical model
neural network
cost function
software engineering
experimental data
conceptual model
data sets
social networks
objective function
probability distribution
management system
object oriented
statistical model
model driven
tool support