Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!

Andreas Zamperoni Gregor Engels

Published in: AGTIVE (1999)

Keyphrases

software engineering
rewrite systems
formal methods
term rewriting
artificial intelligence
software systems
operational semantics
software development
active rules
knuth bendix
object oriented
database systems
multi agent systems
data model
data integration