Algebraic Specifications: some old history and new thoughts.

Published in: Nord. J. Comput. (2002)

Keyphrases

formal specification
delay insensitive
specification language
written in natural language
social networks
computer vision
knowledge base
linear algebra
reactive systems