Graph Rewrite Systems for Software Design Transformations.

Alexander Christoph

Published in: NetObjectDays (2002)

Keyphrases

software design
rewrite systems
software engineering
software development
term rewriting
software systems
design patterns
quantifier free
artificial intelligence
case study
knuth bendix
databases
cooperative
theorem proving
educational software