How to Make Algebraic Specifications More Understandable?.

Michel Bidoit Marie-Claude Gaudel A. Mauboussin

Published in: Algebraic Methods (1987)

Keyphrases

delay insensitive
specification language
linear algebra
higher order
formal specification
algebraic structure
information retrieval
social networks
image processing
database systems
similarity measure
bayesian networks
functional requirements
asynchronous circuits
written in natural language