| 1997 |
|---|
| 7 | | Juan Bicarregui,
D. L. Clutterbuck,
Gavin R. Finnie,
Howard P. Haughton,
Kevin Lano,
H. Lesan,
D. W. R. M. Marsh,
B. M. Matthews,
Michael R. Moulding,
A. Richard Newton,
Brian Ritchie,
T. G. A. Rushton,
P. N. Scharbach:
Formal methods into practice: case studies in the application of the B method.
IEE Proceedings - Software 144(2): 119-133 (1997) |
| 1994 |
|---|
| 6 | | Andrew Storey,
Howard P. Haughton:
A Strategy for the Production of Verifiable Code Using the B Method.
FME 1994: 346-365 |
| 5 | | Brian Ritchie,
Juan Bicarregui,
Howard P. Haughton:
Experiences in Using the Abstract Machine Notation in a GKS Case Study.
FME 1994: 93-104 |
| 1993 |
|---|
| 4 | | Kevin Lano,
Howard P. Haughton:
Integrating Formal and Structured Methods in Reverse Engineering.
WCRE 1993: 17-26 |
| 1992 |
|---|
| 3 | EE | Kevin Lano,
Howard P. Haughton:
Reasoning and Refinement in Object-Oriented Specification Languages.
ECOOP 1992: 78-97 |
| 2 | | Kevin Lano,
Howard P. Haughton:
Reuse and Adaptation of Z Specifications.
Z User Workshop 1992: 62-90 |
| 1991 |
|---|
| 1 | | Kevin Lano,
Howard P. Haughton:
An Algebraic Semantics for the Specification Language Z++.
AMAST 1991: 478-493 |
