The Visual Presentation of VDM Specifications.

Jeremy Dick Jérôme Loubersac

Published in: VDM Europe (1) (1991)

Keyphrases

visual information
visual representations
high level
multimedia
low level
visual cues
visual perception
case study
e learning
hidden markov models
visual features
specification language
visual analysis
visual exploration
visual tasks
delay insensitive