A naming specification language for syntax-directed editors.

Scott A. Vorthmann Richard J. LeBlanc

Published in: ICCL (1988)

Keyphrases

specification language
formal specification
programming language
description language
special issue
high level
databases
symbolic execution
requirements specification
web services
natural language
software engineering
software environment
real world
dynamic environments
model checking