Associated Paper: The Object-Z Specification Language.

Roger Duke Paul King Gordon A. Rose Graeme Smith

Published in: TOOLS (5) (1991)

Keyphrases

specification language
formal specification
description language
programming language
d objects
object model
symbolic execution
software environment
requirements specification
database
multi agent
moving objects
software engineering
multiple objects