howard haughton
Title
Cited by
Cited by
Year
Object-oriented specification case studies
K Lano, H Haughton
Prentice Hall International (UK) Ltd., 1994
1861994
Specification in B: An introduction using the B toolkit
H Haughton, K Lano
World Scientific, 1996
1241996
Reasoning and refinement in object-oriented specification languages
K Lano, H Haughton
European Conference on Object-Oriented Programming, 78-97, 1992
581992
Reverse engineering and software maintenance: a practical approach
K Lano, H Haughton
McGraw-Hill, Inc., 1993
501993
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 Engineering 144 (2), 119-133, 1997
451997
Objects revisited
HP Haughton, K Lano
1991 Conference on Software Maintenance, 152,153,154,155,156,157,158,159,160 …, 1991
331991
The z++ manual
K Lano, H Haughton
Lloyds Register of Shipping 29, 1994
291994
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
141991
Integrating formal and structured methods in reverse-engineering
K Lano, H Haughton
[1993] Proceedings Working Conference on Reverse Engineering, 17-26, 1993
131993
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
121994
A comparative description of object-oriented specification languages
K Lano, H Haughton
Object-oriented specification case studies, 20-54, 1994
121994
Extracting design and functionality from code
K Lano, H Haughton
Proceedings of the Fifth International Workshop on Computer-Aided Software …, 1992
111992
An algebraic semantics for the specification language Z++
K Lano, HP Haughton
Proceedings of the Second International Conference on Methodology and …, 1991
111991
Improving the process of system specification and refinement in B
K Lano, H Haughton
6th Refinement Workshop, 45-68, 1994
101994
Specifying a concept-recognition system in Z++
K Lano, H Haughton
Object-oriented specification case studies, 137-157, 1994
91994
The impact of integrating agile software development and model-driven development: a comparative case study
H Alfraihi, K Lano, S Kolahdouz-Rahimi, M Sharbaf, H Haughton
International Conference on System Analysis and Modeling, 229-245, 2018
82018
The system can't perform the operation now. Try again later.
Articles 1–20