Thirty years of algebraic specification.

Fernando Orejas

Published in: J. Log. Algebraic Methods Program. (2006)

Keyphrases

high level
case study
formal specification
specification language
real time
databases
neural network
real world
artificial intelligence
database systems
image sequences
multiscale
digital libraries
information technology
provably correct
algebraic expressions