Generating Object-Z Specifications from Use Cases.

Ana M. D. Moreira João Araújo

Published in: ICEIS (1999)

Keyphrases

d objects
complex objects
moving objects
data objects
databases
high level
single image
object segmentation
generation process
object model
formal specification
digital objects
deformable objects
real objects