*** BCS-FACS Evening Seminar by Prof. Michael Butler, 10 May 2007, 5.45pm, London,UK ***

*** BCS-FACS Evening Seminar by Prof. Michael Butler, 10 May 2007, 5.45pm, London,UK ***

Post by Paul.Boc » Thu, 26 Apr 2007 09:59:44


(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 [ XXXX@XXXXX.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.yqcomputer.com/

BCS-FACS website:

http://www.yqcomputer.com/

Evening Seminars:

http://www.yqcomputer.com/
 
 
 

1. *** BCS-FACS Evening Seminar by Prof. Michael Butler, 10 May 2007, 5.45pm, London,UK ***

2. *** BCS-FACS Seminar by Prof. Michael Jackson, 7 February 2007, 5.45pm, London

[Apologies if you receive multiple copies of this announcement]

BCS-FACS Evening Seminar Series

What Can We Expect From Program Verification?

Professor Michael Jackson, Open University and Consultant

7 February 2007
5.45pm start

BCS London Offices
First Floor,
The Davidson Building
5 Southampton Street
London WC2E 7HA

The admirable ambition to prove programs correct assumes the
existence
of a formal program specification, which is distinct from a formal ---
or
informal---statement of system requirements. In some systems the
necessarily non-formal nature of the physical and human world, where
the software is required to achieve its effects, may make a formal
specification very hard, or even impossible, to obtain. A narrow view
of the nature and goals of program verification is therefore often
less
useful. But a broader view brings into focus a number of larger
possibilities and, with them, larger opportunities for deploying the
reasoning and proving power of verification tools.

Michael Jackson and Tony Hoare.

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 [ XXXX@XXXXX.COM ] your name by
>>> 5 February 2007 <<<. Pre-registration is required, as security
at the
BCS Offices is tight.

Location of the venue: http://www.yqcomputer.com/
londonsscolour.jpg

FACS Evening Seminars: http://www.yqcomputer.com/

3. REMINDER: BCS-FACS Evening Seminar by Prof. Martin Henson, 8 November 2005, 5.45pm, London, UK

4. *** BCS-FACS Seminar by Prof. Michael Jackson, 7 February 2007, 5.45pm, London

5. REMINDER: BCS-FACS Evening Seminar by Prof. Martin Henson, 8 November 2005, 5.45pm, London, UK

6. Evening Seminar by Prof Michael Butler, 10 May, 5.45pm, London: Incremental Development of Distributed Systems

7. BCS-FACS/BCS Women Seminar by Prof. Ursula Martin, 9 November, 5.45pm, BCS Offices, London

8. BCS-FACS Evening Seminar by Prof Mark Harman: Testability transformation, 26 May, BCS London Offices, UK

9. *** BCS-FACS Evening Seminar by Prof. Martin Henson, 8 November 2005, 5.45pm, London ***

10. BCS-FACS Evening Seminar by Prof Mark Harman: Testability transformation, 26 May, BCS London Offices, UK

11. *** BCS-FACS Evening Seminar by Prof. Martin Henson, 8 November 2005, 5.45pm, London ***

12. *** BCS-FACS Evening Seminar by Prof. Steve Schneider, 3 March 2008, BCS London Offices, UK

13. BCS-FACS Evening Seminar by Mark Harman, Testability Transformation, 26 May, BCS London Offices, UK