The Gap between Specification and Synthesis.

Stephen J. Mellor

Published in: PECCS (2013)

Keyphrases

specification language
data sets
information retrieval
high level
digital libraries
low level
formal specification
database
image processing
image segmentation
business rules
functional programs