Toward Realistic Formal Specifications for Non-Trivial Graphical Objects.

Published in: Eurographics (1989)

Keyphrases

formal specification
d objects
real world
specification languages
model checking
specification language
general purpose
data objects
reverse engineering
protocol specification
object oriented design
multiple objects
temporal logic
integrity constraints
user defined
moving objects
high level