PHRAN-SPAN: A Natural Language Interface for System Specifications.

John J. Granacki Jr.Alice C. Parker

Published in: DAC (1987)

Keyphrases

delay insensitive
control flow
high level
lower bound
hidden markov models
specification language
reactive systems
social networks
functional requirements
operational semantics