howard haughton
Title
Cited by
Cited by
Year
Object-oriented specification case studies
K Lano, H Haughton
Prentice Hall International (UK) Ltd., 1994
1811994
Specification in B: An introduction using the B toolkit
H Haughton, K Lano
World Scientific, 1996
1221996
Reasoning and refinement in object-oriented specification languages
K Lano, H Haughton
European Conference on Object-Oriented Programming, 78-97, 1992
601992
Reverse engineering and software maintenance: a practical approach
K Lano, H Haughton
McGraw-Hill, 1994
501994
Reverse‐engineering cobol via formal methods
K Lano, PT Breuer, H Haughton
Journal of Software Maintenance: Research and Practice 5 (1), 13-35, 1993
501993
Formal methods into practice: case studies in the application of the B method
JC Bicarregui, DL Clutterbuck, G Finnie, H Haughton, K Lano, H Lesan, ...
IEE Proceedings-Software 144 (2), 119-133, 1997
461997
Objects revisited
HP Haughton, K Lano
1991 Conference on Software Maintenance, 152,153,154,155,156,157,158,159,160 …, 1991
341991
The z++ manual
K Lano, H Haughton
Lloyds Register of Shipping 29, 1994
271994
Formal development in B abstract machine notation
K Lano, H Haughton
Information and Software Technology 37 (5-6), 303-316, 1995
221995
Reuse and adaptation of Z specifications
K Lano, H Haughton
Z User Workshop, London 1992, 62-90, 1993
181993
A strategy for the production of verifiable code using the B method
AC Storey, HP Haughton
International Symposium of Formal Methods Europe, 346-365, 1994
151994
A specification‐based approach to maintenance
K Lano, H Haughton
Journal of Software Maintenance: Research and Practice 3 (4), 193-213, 1991
131991
A comparative description of object-oriented specification languages
K Lano, H Haughton
Object-oriented specification case studies, 20-54, 1994
121994
Integrating formal and structured methods in reverse-engineering
K Lano, H Haughton
[1993] Proceedings Working Conference on Reverse Engineering, 17-26, 1993
111993
An algebraic semantics for the specification language Z++
K Lano, HP Haughton
Proceedings of the Second International Conference on Methodology and …, 1991
111991
Experiences in using the abstract machine notation in a GKS case study
B Ritchie, J Bicarregui, H Haughton
International Symposium of Formal Methods Europe, 93-104, 1994
101994
Improving the process of system specification and refinement in B
K Lano, H Haughton
6th Refinement Workshop, 45-68, 1994
101994
Extracting design and functionality from code
K Lano, H Haughton
Proceedings of the Fifth International Workshop on Computer-Aided Software …, 1992
101992
Specifying a concept-recognition system in Z++
K Lano, H Haughton
Object-oriented specification case studies, 137-157, 1994
91994
Software maintenance research and applications
K Lano, H Haughton
NordData 92, 123-143, 1992
81992
The system can't perform the operation now. Try again later.
Articles 1–20