Viewpoint specification and Z.

Mike Ainsworth A. H. Cruickshank Peter J. L. Wallis Lindsay J. Groves

Published in: Inf. Softw. Technol. (1994)

Keyphrases

viewpoint
active object recognition
high level
d objects
specification language
artificial intelligence
software engineering
illumination conditions
multiple views
programming language
multiple viewpoints
formal language
petri net
software development
real time
bayesian networks
web services
data sets