New Concepts of Amalgamation and Extension for a General Theory of Specifications.

Hartmut Ehrig Michael Baldamus Fernando Orejas

Published in: COMPASS/ADT (1991)

Keyphrases

general theory
mathematical theory
morphological operators
conceptual models
belief functions
stable models
computational intelligence
background knowledge
high order
finite state machines
delay insensitive
formal specification
database
logic programs
higher order
expert systems
image processing
databases