Controlling User Interface Objects Through Pre- and Postconditions

  title={Controlling User Interface Objects Through Pre- and Postconditions},
  author={Daniel F. Gieskens and James D. Foley},
We have augmented user interface objects (i.e. windows, menus, buttons, sliders, ets.) 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… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 27 extracted citations

Toward More Understandable User Interface Specifications

DSV-IS • 1996
View 3 Excerpts
Highly Influenced

Using Interaction Object Graphs to Specify Graphical Widgets

David A. Carr, Ninad Jog, +3 authors Christopher Alberg
View 3 Excerpts
Highly Influenced

A performance-oriented interface design model of web applications

Proceedings of the 2011 International Conference on Electrical Engineering and Informatics • 2011
View 1 Excerpt

Formal models for user interface design artefacts

Innovations in Systems and Software Engineering • 2008
View 1 Excerpt

Personalized user interface model of web application

2008 International Symposium on Information Technology • 2008
View 1 Excerpt

Similar Papers

Loading similar papers…