The VIP VDM Specification Language.

Kees Middelburg

Published in: VDM Europe (1988)

Keyphrases

specification language
formal specification
programming language
description language
software environment
symbolic execution
requirements specification
software engineering
databases
information retrieval
database systems
multi agent
search algorithm