Salient Features of an Executable Specification Language and Its Environment.

Pamela Zave William M. Schell

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

Keyphrases

salient features
specification language
formal specification
software environment
requirements specification
description language
programming language
image features
machine learning
database
information systems
dynamic environments