Refactoring Object-Z Specifications.

Published in: FASE (2004)

Keyphrases

object identification
specification language
d objects
source code
complex objects
multiple objects
computer vision
high level
database
data objects
object tracking
delay insensitive
digital objects
object model
digital libraries
object recognition
databases