The Impact and Future Role of Algebraic Specification.

Hartmut Ehrig Uwe Wolter

Published in: Bull. EATCS (1996)

Keyphrases

high impact
long term
artificial neural networks
databases
formal specification
user defined
high level
image processing
multi agent
video sequences
search algorithm
information systems
genetic algorithm
software development
information retrieval
machine learning
current status
database