Specifying the UQ* user-interface with Object-Z.

Andrew Hussey David A. Carrington

Published in: APSEC (1997)

Keyphrases

user interface
object model
d objects
complex objects
end users
user interaction
lighting conditions
user interface design
database
case study
user experience
multiscale
object segmentation
application development
background clutter
deformable objects
similar objects
object identification
data sets