Systematic Derivation of Complementary Specifications

Paulo A. S. Veloso José Mauro Volkmer de Castilho Antonio L. Furtado

Published in: VLDB (1981)

Keyphrases

high level
formal specification
specification language
information systems
delay insensitive
data sets
learning algorithm
computer vision
multiscale
user interface
operational semantics
concurrent systems
controlled natural language