An Animator for the Object Specification Language TROLL light.

Rudolf Herzig Martin Gogolla

Published in: COODBSE (1994)

Keyphrases

specification language
formal specification
programming language
description language
symbolic execution
software environment
d objects
object model
multiple objects
requirements specification
moving objects
orders of magnitude
model checker
information systems
real world
transparent objects
databases