Algebraic Specification with Built-in Domain Constructions.

Bernhard Möller Andrzej Tarlecki Martin Wirsing

Published in: CAAP (1988)

Keyphrases

domain specific
data sets
high level
formal specification
domain independent
higher order
image processing
domain experts
domain knowledge
specification language
database
probabilistic model
data model
expert systems
search algorithm
learning environment
artificial intelligence