Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation.

Kong E. Cheng Lindsay N. Jackson

Published in: FORTE (1989)

Keyphrases

databases
attribute grammars
database
neural network
higher level
data sets
high level
efficient implementation
formal specification
implementation details
functional requirements
semantic representation
specification language