cfry@watdcsu.UUCP (10/20/87)
Formal Specifications
for User Interface Guidelines
by
Professor Thomas Carey
of
Department of Computing & Information
University of Guelph
Abstract
This talk will illustrate the potential use of formal specifica-
tions to describe user interfaces. Examples will be presented
from the Macintosh user interface guidelines, demonstrating how
appropriate abstractions and graphical conventions can make the
specification both rigorous and concise. We will discuss the ad-
vantages and disadvantages of such formal methods in describing
guidelines for consistent families of user interfaces.
DATE: October 28, 1987
TIME: 3:30 p.m.
PLACE: MC 5158
Everyone is welcome. Refreshments served.