Login / Signup
GRACE as a unifying approach to graph-transformation-based specification.
Hans-Jörg Kreowski
Giorgio Busatto
Sabine Kuske
Published in:
Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
</>
graph transformation
high level
formal specification
formal verification
database
knowledge base
evolutionary algorithm
user defined
neural network
similarity measure
multiscale
query processing
join algorithms
specification language
code generation