A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input Syntax.

Published in: Ershov Informatics Conference (2019)

Keyphrases

metamodel
software systems
modeling language
reference model
model driven
constraint language
data model
development process
uml profile
black box
life cycle
design patterns
transformation rules
source code
software design
high level
development processes
data sets