Logical Specification and Implementation.

T. S. E. Maibaum M. R. Sadler Paulo A. S. Veloso

Published in: FSTTCS (1984)

Keyphrases

specification language
computer vision
information systems
decision making
search algorithm
user interface
efficient implementation
formal specification
data independence