An Overview of Anna, a Specification Language for Ada.

David C. Luckham Friedrich W. von Henke

Published in: IEEE Softw. (1985)

Keyphrases

specification language
formal specification
programming language
description language
symbolic execution
software environment
requirements specification
cooperative
database
model checking