Animation of Object-Z Specifications with a Set-Oriented Prototyping Language.

Wilhelm Hasselbring

Published in: Z User Workshop (1994)

Keyphrases

specification language
neural network
natural language
moving objects
d objects
small number
complex objects
formal specification