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 |
|
|
