Functorial Theory of Parameterized Specifications in a General Specification Framework.

Hartmut Ehrig Martin Große-Rhode

Published in: Theor. Comput. Sci. (1994)

Keyphrases

general theory
specification language
theoretical framework
conceptual framework
high level
main contribution
lightweight
closely related
artificial intelligence
mathematical framework
formal specification
computational model
mathematical theory
data sets
logic programs
special case
information retrieval