GVU Home Research Education People Labs News
        & Events
GVU Logo FAQ-Search-Site
Map-Feedback GVU Center


Introduction

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991


 



GVU Technical Report Number:
GIT-GVU-91-09
Title:
Controlling User Interface Objects through Pre- and Postconditions
Authors:
Daniel F. Gieskens
James D. Foley
Abstract:
We have augmented user interface objects (i.e. windows, menus, buttons, sliders, etc.) with preconditions that determine their visibility and their enabled/disabled status and postconditions that are asserted when certain actions are performed on the object. Postconditions are associated with each functionally different action on the object. Attaching pre- and postconditions to interface objects provides several useful features, such as selective enabling of controls, rapid prototyping, and automatic generation of explanations and help text.
Keywords:
User interface tools, prototyping, predicates
You can access this technical report via:
PDF

Postscript


 


Research | Education | People | Labs | News & Events

Questions or Comments? Visit our FAQ and Feedback Pages. Last Modified on .