FunZ: An Intermediate Specification Language.

Linda B. Sherrell Doris L. Carver

Published in: Comput. J. (1995)

Keyphrases

specification language
formal specification
description language
programming language
requirements specification
databases
symbolic execution
software environment
cooperative
web services
high level
software architecture