Formal Refinement of Informal GUI Design Artefacts.

Judy Bowen Steve Reeves

Published in: ASWEC (2006)

Keyphrases

user interface
design process
computer aided
design tools
real time
data sets
real world
case study
multiscale
expert systems
embedded systems
formal specification