Algebraic Theory of Modular Specification Development.

Werner Fey Hartmut Ehrig Horst Hansen Michael Löwe

Published in: ADT (1988)

Keyphrases

computer algebra
high level
software engineering
decision support
information processing
theoretical framework
rapid development
theoretical basis
linear algebra
development process
formal languages
set theoretic
mathematical theory
learning theories
information retrieval
knowledge base
artificial intelligence