A survey of safety-oriented model-driven and formal development approaches.

Yuliya Prokhorova Elena Troubitsyna

Published in: Int. J. Crit. Comput. Based Syst. (2013)

Keyphrases

model driven
model driven engineering
model driven development
development environments
data driven
service oriented
development process
metamodel
platform independent
software engineering
case study
data management
design process
databases
open source
code generation
model driven architecture
data model