Investigating formal specification of graphical interface design for an interactive constraint based resource allocation system.

Mary Zajicek, Ken W. Brownsley

Browse the full SEKE paper archive.