119
Voted
ICSE
2001
IEEE-ACM
15 years 7 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...