Path: utzoo!utgpu!watmath!water!ylfink
From: ylfink@water.waterloo.edu (ylfink)
Newsgroups: ont.events,uw.talks
Subject: Software Engineering through Diversity.
Keywords: Prof. Tom Anderson, Fri., Nov. 25/88, 2:30PM, DC 1304.
Message-ID: <1949@water.waterloo.edu>
Date: 23 Nov 88 13:50:11 GMT
Distribution: ont
Organization: U of Waterloo, Ontario
Lines: 30



DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES

SYSTEMS SEMINAR

                    -  Friday, November 25, 1988

Professor    Tom    Anderson,   Computing   Laboratory,
University  of  Newcastle  upon  Tyne,  will  speak  on
``Software Engineering through Diversity''.

TIME:                2:30 PM

ROOM:              DC 1304

ABSTRACT

Consider:  There are three strategies for the provision
of  dependable  software.   1)  Get  it  right--make no
mistakes.   2) Fix it up--root out your transgressions.
3) Keep it running--one way or another.

Deduce:  Which of these will the speaker advocate?

The  talk is likely to include a number of illustrative
quotations  as  well  as  a  savage  attack  on program
verification.