Login / Signup
Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper).
Fernando Macías
Torben Scheffel
Malte Schmitz
Rui Wang
Published in:
RV (2016)
Keyphrases
</>
code generation
model driven
metamodel
application development
software development
modeling language
code generator
formal specification
software reuse
model checking
computer aided
data mining
machine learning
information systems
high level