Producing Z Specifications from Object-Oriented Analysis.

Jonathan Hammond

Published in: Z User Workshop (1994)

Keyphrases

object oriented
statistical analysis
high quality
computer vision
quantitative analysis
image processing
artificial intelligence
three dimensional
database systems
multiscale
search algorithm
image analysis
data model
programming language