ZB2005 Poster Session
The Poster Session is kindly supported by
|
|
Posters to be presented
Title | Author |
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 |
|
|