zb2005 logo

4th International Conference
of B and Z Users

University of Surrey, Guildford, UK, 13-15 April 2005
Organised by APCB and the Z User Group

ZB2005 Poster Session

The Poster Session is kindly supported by AWE_logo

Posters to be presented

Frameworks based on Templates for Rigorous and Practical Model-Driven Software Development Nuno Amalio
AmuZed and Zoom - Tools for mCharts and Z Judy Bowen
Slicing CSP-OZ Specifications for Verification Ingo Brueckner
BToolTeesside Stacey Conroy
Improving Tool Support for UML-B with Eclipse Andy Edmunds
EB4: Towards an Integrated Formal Method for Specifying Information Systems Frederic Gervais
The Development of a Toolkit to Support Probabilistic B-Method Thai Son Hoang
Achieving B State Machine Designs with Annotations Wilson Ifill
Development of Geometric Modelling Algorithms using Event B: a case study Jean-Marc Mota
Verification of Real Time Schedulers Odile Nasr
A Refinement Calculus for Circus Marcel Oliveira
Proved Design of Hardware Architecture Cyril Proch
Modelling Real Time Reactive Systems in a Timed B Miloud Rached



University of Surrey logo Maintained by Rob Delicata.