Towards Static Analysis of Executable DSMLs Using Model Typing.

Reza Gorgan Mohammadi Ahmad Abdollahzadeh Barforoush

Published in: BMMDS/EMMSAD (2015)

Keyphrases

static analysis
mathematical model
probabilistic model
computational model
high level
formal specification
dynamic analysis
neural network
integrity constraints
conceptual model