Model-Driven Software Verification.

Gerard J. Holzmann Rajeev Joshi

Published in: SPIN (2004)

Keyphrases

model driven
data driven
service oriented
metamodel
model driven engineering
data integration
development environments
model driven development
multi agent
mashup
transformation rules
databases
decision making
data analysis
platform independent