Building User Interfaces Interactively Using Pre- and Postconditions.

Martin R. Frank, J. J. de Graaff, Daniel F. Gieskens, James D. Foley

Browse the full CHI paper archive.