Volume 16,
Number 1,
April 2004
- Cliff B. Jones, John Cooke:
Editorial.
1-
- John S. Fitzgerald:
Formal Methods Europe Update.
2-3
- Cliff B. Jones, D. J. Cooke, Christiane Notarmarco:
Online First Publication.
4-
- Antónia Lopes, José Luiz Fiadeiro:
Superposition: composition vs refinement of non-deterministic, action-based systems.
5-18
- Clare E. Martin, Jeremy Gibbons, Ian Bayley:
Disciplined, efficient, generalised folds for nested datatypes.
19-35
- Alan Stewart, Maurice Clint, Joaquim Gabarró:
Barrier synchronisation: Axiomatisation and relaxation.
36-50
- Richard F. Paige, Jonathan S. Ostroff:
ERC - An object-oriented refinement calculus for Eiffel.
51-79
- C. T. Carr, T. Martin McGinnity, L. J. McDaid:
Integration of UML and VHDL-AMS for analogue system modelling.
80-94
Volume 16,
Number 2,
May 2004
Volume 16,
Number 3,
August 2004
Volume 16,
Number 4,
November 2004
Copyright © Wed Nov 11 03:09:20 2009
by Michael Ley (ley@uni-trier.de)