Model-Driven Verifying Compilation of Synchronous Distributed Applications.

Sagar Chaki James R. Edmondson

Published in: MoDELS (2014)

Keyphrases

modeling language
model driven
metamodel
code generation
model driven development
transformation rules
model driven engineering
data driven
development environments
platform independent
model checking
service oriented
cooperative
asynchronous communication
data mining
data integration
decision making