Automated Model Synchronization: A Case Study on UML with Maude.

Artur Boronat José Meseguer

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)

Keyphrases

metamodel
probabilistic model
image segmentation
statistical model
information systems
object model
formal model
computational model
management system
objective function
high level
neural network
object oriented
software engineering
software systems
theoretical framework
cost function