Specification: Algebraic Specification.

Thomas Grünler

Published in: PROSPECTRA Book (1993)

Keyphrases

formal specification
databases
information systems
neural network
hidden markov models
software engineering
user defined
specification language
protocol specification