Sign in
Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications.
Cinzia Bernardeschi
Alessandro Fantechi
Fabio Paternò
Published in:
SEKE (1995)
Keyphrases
</>
special case
interactive systems
user interface
preserving transformations
computational complexity
human computer interaction
high dimensional