Loose Specification and Refinement in Z.

Eerke A. Boiten

Published in: ZB (2002)

Keyphrases

databases
image segmentation
refinement operators
query refinement
petri net
software engineering
multiresolution
data structure
high level
three dimensional
database
case study
web services
image processing
e learning
machine learning
real time