Login / Signup
A Contribution of Graph Grammar Techniques to the Specification, Verification and Certification of Code Generation Tools.
Ingo Stürmer
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
code generation
graph grammars
application development
software development
formal specification
code generator
modeling language
model driven
model checking
design patterns
software reuse
rapid prototyping
context sensitive
web applications
information retrieval
design tools
context free
em algorithm