Formal Model-Driven Design of Distributed Algorithms.

Morten Kühnrich

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

model driven
model driven engineering
data driven
metamodel
learning algorithm
data structure
distributed systems
black box
query language
decision support
distributed architecture
formal methods
service oriented
vertical fragmentation
real world
software architecture
software systems
design process
cooperative