Formalizing user interface requirements.

Kevin Schlueter, Marilyn M. Mantei

Browse the full CHI paper archive.