Specification and programming (by graph transformation).
Hans-Jörg KreowskiPublished in: Electron. Notes Theor. Comput. Sci. (1995)
Keyphrases
- graph transformation
- reactive systems
- programming language
- computer programming
- high level
- specification language
- programming course
- development environment
- programming environment
- object oriented programming
- formal verification
- database
- conceptual model
- model checking
- learning process
- exception handling
- code generation
- web services
- machine learning