Correctness of high-level transformation systems relative to nested conditions.

Annegret Habel Karl-Heinz Pennemann

Published in: Math. Struct. Comput. Sci. (2009)

Keyphrases

high level
low level
management system
intelligent systems
expert systems
complex systems
knowledge base
image processing
systems require
data mining
conceptual model
distributed systems
source code
artificial neural networks
multiscale
image sequences
metadata
social networks
artificial intelligence
machine learning