Cell Phone Software Forum
| View previous topic :: View next topic |
| Author |
Message |
Guest
|
Posted: Sun May 06, 2007 3:06 am Post subject: REMINDER: Seminar entitled Incremental Development of Distri |
|
|
(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 |
|
| Back to top |
|
 |
| |
Ads |
Advertising
Sponsor
|
|
|
|
You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum
|

223 Attacks blocked
Powered by phpBB © 2001, 2005 phpBB Group
|