Synthesis from scenario-based specifications.

David Harel Itai Segall

Published in: J. Comput. Syst. Sci. (2012)

Keyphrases

formal specification
specification language
program synthesis
texture synthesis
functional requirements
real time
data sets
artificial intelligence
high level
image sequences
programming language
written in natural language