Login / Signup
A Modeling Language for Program Design and Synthesis.
Don S. Batory
Published in:
Lipari Summer School (2007)
Keyphrases
</>
modeling language
metamodel
design rationale
formal semantics
uml profile
case study
code generation
program synthesis
software development process
semi automatic
integrity constraints
business process modeling
model driven development
functional programs
educational modeling languages