Multi-Way Dataflow Specifications in Graphical User Interfaces

Abstract

Most of us interact with graphical user interfaces (GUIs) everyday. Still, GUIs are oftentimes wrong and buggy, almost to the extent that users know to expect problems; GUIs lack necessary functionality, get user interactions wrong, and can even end up in states where the user must resort to restart the application.