Completeness and executability of specifications: Two confusing notions.

Wladyslaw M. Turski

Published in: ISPW (1984)

Keyphrases

formal specification
functional requirements
delay insensitive
database
databases
neural network
artificial intelligence
computer vision
information systems
image sequences
state space
petri net
specification language