| Monday
9:00 |
From synchronous communication to asynchronous communication with transition refinement | Sibylle Peuker | |
| 9:30 | Refinement and the Z Schema Calculus | Lindsay Groves | |
| 10:00 | Compilation by Refinement | Geoff Watson | Luke Wildman, Colin Fidge |
| 10:30-11:00 | MORNING TEA | ||
| 11:00 | The DOVE2000 Project | Brendan Mahony | |
| 11:30-12:30 | From Kleene Algebra to Refinement Algebra | Joakim von Wright | |
| 12:30-2:00 | LUNCH | ||
| 2:00 | Systems, Properties and Refinement within a Process Algebra Framework | Alex J Cowie | |
| 2:30 | Refinement of Safety Requirements | Peter Lindsay | Brenton Atchinson, Paul Strooper |
| 3:00 | The Development of a Toolkit to Support the Probabilistic B Method | Ken Robinson | Thai Son Hoang, Annabell McIver, Carroll Morgan |
| 3:30-4:00 | AFTERNOON TEA | ||
| 4:00 | Tool Support for Verified Program Compilation | Luke Wildman | |
| 4:30 | Experience with the Use of the B Method and B Toolkit in Undergraduate Software Engineering | Ken Robinson | Thai Son Hoang |
| 5:00 | Refining object-oriented invariants and dynamic constraints. | Jamie Shield | |
| Tuesday | |||
| 9:00 | Refinement-Robust Fairness | Hagen Voelzer | |
| 9:30 | Validating specifications by combining animation and proof. | Ray Nickson | |
| 10:00 | Taking Exceptions Seriously | Geoff Watson | Luke Wildman, Colin Fidge |
| 10:30-11:00 | MORNING TEA | ||
| 11:00 | Analysing Z refinement | Steve Reeves | |
| 11:30 | Translating Refined Logic Programs to Mercury | Robert Colvin | |
| 12:00 | Concurrency and Timing Path Analysis | Ian Hayes | |
| 12:30-2:00 | LUNCH |
Please send comments and suggestions on this page to arw@itee.uq.edu.au
Last updated: 3 Dec 2001
Home