Parametrization for Order-Sorted Algebraic Specification.

Published in: J. Comput. Syst. Sci. (1990)

Keyphrases

order sorted
predicate logic
formal specification
specification language
formal methods
provably correct
database
neural network
genetic algorithm
information systems
keywords
expert systems
higher order
conceptual model