Transforming Specifications of Observable Behaviour into Programs.

David R. Gilbert Christopher J. Hogger Jirí Zlatuska

Published in: LOPSTR (1994)

Keyphrases

control flow
recursive programs
delay insensitive
logic programs
data flow
computer programs
program synthesis
data mining
artificial intelligence
case study
finite state machines
functional requirements
user behaviour