Algebraic Specification with subsorts using declarations.

Martin Gogolla Hans-Dieter Ehrich

Published in: Bull. EATCS (1983)

Keyphrases

high level
case study
real time
neural network
bayesian networks
specification language
genetic algorithm
information systems
multi agent
information technology
formal specification
formal language
asynchronous circuits