Follow
howard haughton
Title
Cited by
Cited by
Year
Object-oriented specification case studies
K Lano, H Haughton
Prentice Hall International (UK) Ltd., 1994
2031994
Specification in B: An introduction using the B toolkit
H Haughton, K Lano
World Scientific, 1996
1261996
Reasoning and refinement in object-oriented specification languages
K Lano, H Haughton
European Conference on Object-Oriented Programming, 78-97, 1992
621992
Reverse engineering and software maintenance: a practical approach
K Lano, H Haughton
McGraw-Hill, Inc., 1993
541993
Reverse‐engineering cobol via formal methods
K Lano, PT Breuer, H Haughton
Journal of Software Maintenance: Research and Practice 5 (1), 13-35, 1993
541993
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
471997
Objects revisited
HP Haughton, K Lano
1991 Conference on Software Maintenance, 152,153,154,155,156,157,158,159,160 …, 1991
371991
The Z++ manual
K Lano, H Haughton
Lloyds Register of Shipping 29, 1994
321994
Formal development in B abstract machine notation
K Lano, H Haughton
Information and Software Technology 37 (5-6), 303-316, 1995
241995
Reuse and adaptation of Z specifications
K Lano, H Haughton
Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User …, 1993
191993
A strategy for the production of verifiable code using the B method
AC Storey, HP Haughton
FME'94: Industrial Benefit of Formal Methods: Second International Symposium …, 1994
171994
A specification‐based approach to maintenance
K Lano, H Haughton
Journal of Software Maintenance: Research and Practice 3 (4), 193-213, 1991
171991
Integrating formal and structured methods in reverse-engineering
K Lano, H Haughton
[1993] Proceedings Working Conference on Reverse Engineering, 17-26, 1993
151993
Alleviating debt distress and advancing the sustainable development goals
H Haughton, J Keane
Sustainable Development 29 (3), 528-536, 2021
142021
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
System Analysis and Modeling. Languages, Methods, and Tools for Systems …, 2018
132018
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
131994
A comparative description of object-oriented specification languages
K Lano, H Haughton
Object-oriented specification case studies, 20-54, 1994
131994
An algebraic semantics for the specification language Z++
K Lano, HP Haughton
Proceedings of the Second International Conference on Methodology and …, 1991
131991
Extracting design and functionality from code
K Lano, H Haughton
Proceedings of the Fifth International Workshop on Computer-Aided Software …, 1992
121992
Synthesis of mobile applications using AgileUML
K Lano, L Alwakeel, SK Rahimi, H Haughton
Proceedings of the 14th Innovations in Software Engineering Conference …, 2021
112021
The system can't perform the operation now. Try again later.
Articles 1–20