Specifying Ada Server Tasks with Executable Formal Grammars.

David Hemmendinger

Published in: IEEE Trans. Software Eng. (1990)

Keyphrases

visual languages
formal specification
formal model
database
formal language
machine learning
special case
client server
central server