Automatic Translation of VDM-SL Specifications into Gofer.

Published in: FME (1997)

Keyphrases

high level
formal specification
delay insensitive
decision making
reactive systems
case study
similarity measure
reinforcement learning
functional requirements
conceptual models
asynchronous circuits
attribute grammars
written in natural language