Home > Archive > Functional > April 2007 > *** BCS-FACS Evening Seminar by Prof. Michael Butler, 10 May 2007, 5.45pm, London,UK
You are viewing an archived Text-only version of the thread.
To view this thread in it's original format and/or if you want to reply to
this thread please [click here]
| Author |
*** BCS-FACS Evening Seminar by Prof. Michael Butler, 10 May 2007, 5.45pm, London,UK
|
|
| Paul.Boca@googlemail.com 2007-04-24, 10:03 pm |
| (Apologies if you receive multiple copies of this announcement)
BCS-FACS Evening Seminar
Incremental Development of Distributed Systems
Professor Michael Butler
University of Southampton
10 May 2007
5.45pm
BCS London Offices
First Floor
The Davidson Building
5 Southampton Street
London WC2E 7HA
An incremental approach to the formal development of distributed
systems
is achievable using state-based modelling and verification of
refinement
between models. The important features of distributed systems can be
represented using state-based modelling. Formal modelling and
verification
leads to deep insight and cleaner architecture. The significance of an
incremental approach is that it enables the factorisation of the
intellectual
design effort and the proof effort into manageable parts. Strong tool
support
for managing and proving model refinements are essential and exist in
the
form of tools for B and Event-B.
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 [ Paul.Boca@googlemail.com] by
8 May 2007. Pre-registration is required, as security at the BCS
Offices is tight.
Directions on how to get to venue:
http://www.epsg.org.uk/locations/bcsss-guide.html
BCS-FACS website:
http://www.bcs-facs.org
Evening Seminars:
http://www.bcs-facs.org/events
|
|
|
|
|