The Formal Basis for the RAISE Specification Language.

Published in: Semantics of Specification Languages (1993)

Keyphrases

specification language
formal specification
requirements specification
programming language
description language
model checking
symbolic execution
formal methods
software environment
mathematical theory
model checker
databases
web services