On combining semiformal and formal object specification techniques.

Martin Gogolla Mark Richters

Published in: WADT (1997)

Keyphrases

formal specification
high level
formal language
formal methods
d objects
operational semantics
video sequences

object tracking
reactive systems
object model
partial occlusion
complex objects
real time

lighting conditions
learning objects
multiscale
object segmentation
database systems
image segmentation

combining multiple
knowledge base
specification language
computer vision
databases
data sets