One Day Workshop on B

January 10th, 2002

A successful workshop was held, attended by 35 people, and proved to be a stimulating forum for discussion and exchange of experiences about the role of B in the Computer Science Curriculum, and its relationship with other approaches to Software Engineering. The aim was to bring together academics who already use B in education, and those who are interested in finding out more about doing so.
Programme

10:00 coffee and registration

10:30 Using the B-method within the Railway Industry
Case study ps file,
Case study tar file
Ib Sorenson, B-Core

12:00 lunch

1:30 UML to B, (pdf slides)
Link to U2B tool from here
Michael Butler, University of Southampton

2:00 Development of recursively defined functions using the B event-driven approach, (pdf slides)
B development
Dominique Cansell, LORIA & INRIA & Universite de Metz, France

2:30 A mechanically proved and incremental development of IEEE 1394 Tree Identification Protocol (ps slides)
Dominique Mery, LORIA & Universite Henri Poincare Nancy 1, France

3:00 coffee

3:30 B teaching experiences
Steve Dunne, University of Teesside (tar coursework development)
Margaret West, University of Huddersfield (ps slides)
Steve Schneider, Royal Holloway, University of London (ps slides)

5:00 close
The organisers were:
Steve Schneider and Helen Treharne