Controlling User Interface Objects through Pre- and Postconditions
Gieskens, Daniel F.
Foley, James D.
MetadataShow full item record
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.