ylfink@water.waterloo.edu (ylfink) (11/23/88)
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.