Draft Programme
Saturday 20th July
9 - 1pm Refinement calculus
- R Back and J von Wright
Compositional Action System Refinement
- D Naumann
OO/higher order refinement calculus
- L Wildman and C Fidge
The variety of variables in computer-aided real-time programming.
- B Aichernig
Contract-based mutation testing in the refinement calculus.
- S Dunne
Junctive Compositions of specifications in total and general
correctness.
- A Hilton and J Hall
Refining specifications to programmable logic.
- A Lopes and J Fiadeiro
Superposition: Composition vs Refinement of non-deterministic,
action-based systems.
2 - 4.30pm Z and Concurrency
- S Stepney, F Polack and I Toyn
Refactoring in Maintenance and development of Z specifications and
proofs.
- L Groves
Refinement and the Z schema calculus.
- C Bolton and J Davies
A comparison of refinement orderings and their associated simulation
rules.
- J Derrick and E Boiten
Concurrent and relational refinement
- A Cavalcanti and J Woodcock
Refinement in Circus
5.30 - 6.30pm Architecture
- E Boerger
Refinement method for Abstract State Machines
- M Anlauff and A Suenbuel
Towards component based systems: refining connectors
Sunday 21st July
9 - 10.30am Architecture ctd
- K Engelhardt
An Asynchronous multi-agent calculus
- E Sekerinski
Tabular Refinement
- Y Lamo and M Walicki
Composition and refinement of specifications and parameterised data types
11am - 12.30pm Concurrency
- J Davies
The refinement of concurrent systems described in UML
- H Fecher and M Majster-Cederbaum
Taking Decisions Later: end-based choice combined with action refinement
- H Fecher, M Majster-Cederbaum and J Wu
Refinement of actions in a real-time process algebra with a true
concurrency model.