Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!watdcsu!cfry
From: cfry@watdcsu.UUCP
Newsgroups: ont.events,uw.grad.cs,uw.talks
Subject: ICR Oct 28 Prof Thomas Carey Formal Specifications for User Interface..
Message-ID: <3978@watdcsu.waterloo.edu>
Date: Tue, 20-Oct-87 15:41:28 EDT
Article-I.D.: watdcsu.3978
Posted: Tue Oct 20 15:41:28 1987
Date-Received: Thu, 22-Oct-87 20:03:42 EDT
Distribution: ont
Organization: U of Waterloo, Ontario
Lines: 32
Xref: utgpu ont.events:738 junk:6121 junk:6122



                                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.