Literate specifications.

Published in: Softw. Eng. J. (1996)

Keyphrases

high level
delay insensitive
real world
neural network
information retrieval
artificial intelligence
decision making
multimedia
digital libraries
artificial neural networks
formal specification
specification language