[Apologies if you receive multiple copies of this announcement]
BCS-FACS / FME Evening Seminar
Specifying Systems that Connect to the Physical World
(Joint with Ian Hayes and Michael Jackson)
Professor Cliff Jones
University of Newcastle
24 April 2006
start time: 5.45pm
BCS London Offices
First Floor
The Davidson Building
5 Southampton Street
London WC2E 7HA
http://www.bcs-facs.org/events/EveningSeminars
We all know about developing programs from formal specifications. For
"closed"
systems, such methods offer a gold standard against which less formal
approaches
can be measured. But there is an increasing demand for "open systems" which
interact with the physical world. The overall system might include
sensors and
actuators whose signals flow to and from some control program. The task of
obtaining a specification for the control program can be more
challenging than
that of deriving a program from that specification. This talk argues that
recording an initial specification of the behaviour of the whole system
in the
physical world gives a way to *derive* a specification of a control
system and
also to record precisely the assumptions being made about those
components which
sit outside the computer.
Refreshments will be served from 5.15pm
The seminar is free of charge and open to everyone. If you would like to
attend,
please email Paul Boca[[log in to unmask]] by >> 19 April << .
Pre-registration
is required, as security at the BCS Offices is tight.
Location of venue:
http://www.bcs.org/NR/rdonlyres/B5872B38-3FBB-46E8-9CE7-6F43212E1198/0/londonss.jpg
FME website:
http://www.fmeurope.org
BCS-FACS website:
http://www.bcs-facs.org
BCS-FACS Evening Seminars website:
http://www.bcs-facs.org/events/EveningSeminars
|