Specification of a Drawing Facility for Diagram Editors.

Sonja Maier Mark Minas

Published in: HCI (2) (2009)

Keyphrases

state transition
high level
special issue
specification language
information retrieval
databases
information systems
formal specification
formal language
engineering drawings
data sets
computer vision
multiscale
formal methods
uml diagrams
single facility