Object-oriented specification case studies K Lano, H Haughton Prentice Hall International (UK) Ltd., 1994 | 203 | 1994 |
Specification in B: An introduction using the B toolkit H Haughton, K Lano World Scientific, 1996 | 126 | 1996 |
Reasoning and refinement in object-oriented specification languages K Lano, H Haughton European Conference on Object-Oriented Programming, 78-97, 1992 | 62 | 1992 |
Reverse engineering and software maintenance: a practical approach K Lano, H Haughton McGraw-Hill, Inc., 1993 | 54 | 1993 |
Reverse‐engineering cobol via formal methods K Lano, PT Breuer, H Haughton Journal of Software Maintenance: Research and Practice 5 (1), 13-35, 1993 | 54 | 1993 |
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 | 47 | 1997 |
Objects revisited HP Haughton, K Lano 1991 Conference on Software Maintenance, 152,153,154,155,156,157,158,159,160 …, 1991 | 37 | 1991 |
The Z++ manual K Lano, H Haughton Lloyds Register of Shipping 29, 1994 | 32 | 1994 |
Formal development in B abstract machine notation K Lano, H Haughton Information and Software Technology 37 (5-6), 303-316, 1995 | 24 | 1995 |
Reuse and adaptation of Z specifications K Lano, H Haughton Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User …, 1993 | 19 | 1993 |
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 | 17 | 1994 |
A specification‐based approach to maintenance K Lano, H Haughton Journal of Software Maintenance: Research and Practice 3 (4), 193-213, 1991 | 17 | 1991 |
Alleviating debt distress and advancing the sustainable development goals H Haughton, J Keane Sustainable Development 29 (3), 528-536, 2021 | 15 | 2021 |
Integrating formal and structured methods in reverse-engineering K Lano, H Haughton [1993] Proceedings Working Conference on Reverse Engineering, 17-26, 1993 | 15 | 1993 |
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 | 14 | 2018 |
Synthesis of mobile applications using AgileUML K Lano, L Alwakeel, SK Rahimi, H Haughton Proceedings of the 14th Innovations in Software Engineering Conference …, 2021 | 13 | 2021 |
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 | 13 | 1994 |
A comparative description of object-oriented specification languages K Lano, H Haughton Object-oriented specification case studies, 20-54, 1994 | 13 | 1994 |
An algebraic semantics for the specification language Z++ K Lano, HP Haughton Proceedings of the Second International Conference on Methodology and …, 1991 | 13 | 1991 |
Extracting design and functionality from code K Lano, H Haughton Proceedings of the Fifth International Workshop on Computer-Aided Software …, 1992 | 12 | 1992 |