| Object-oriented specification case studies K Lano, H Haughton Prentice Hall International (UK) Ltd., 1994 | 192 | 1994 |
| Specification in B: An introduction using the B toolkit H Haughton, K Lano World Scientific, 1996 | 122 | 1996 |
| Reasoning and refinement in object-oriented specification languages K Lano, H Haughton ECOOP’92 European Conference on Object-Oriented Programming: Utrecht, The …, 1992 | 59 | 1992 |
| Reverse engineering and software maintenance: a practical approach K Lano, H Haughton McGraw-Hill, Inc., 1993 | 50 | 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 | 50 | 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 | 45 | 1997 |
| Objects revisited HP Haughton, K Lano 1991 Conference on Software Maintenance, 152,153,154,155,156,157,158,159,160 …, 1991 | 35 | 1991 |
| The z++ manual K Lano, H Haughton Lloyds Register of Shipping 29, 1994 | 29 | 1994 |
| Formal development in B abstract machine notation K Lano, H Haughton Information and Software Technology 37 (5-6), 303-316, 1995 | 23 | 1995 |
| Reuse and adaptation of Z specifications K Lano, H Haughton Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User …, 1993 | 21 | 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 | 15 | 1994 |
| Integrating formal and structured methods in reverse-engineering K Lano, H Haughton [1993] Proceedings Working Conference on Reverse Engineering, 17-26, 1993 | 14 | 1993 |
| A specification‐based approach to maintenance K Lano, H Haughton Journal of Software Maintenance: Research and Practice 3 (4), 193-213, 1991 | 14 | 1991 |
| 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 | 13 | 2018 |
| Extracting design and functionality from code K Lano, H Haughton Proceedings of the Fifth International Workshop on Computer-Aided Software …, 1992 | 13 | 1992 |
| A comparative description of object-oriented specification languages K Lano, H Haughton Object-oriented specification case studies, 20-54, 1994 | 12 | 1994 |
| Experiences in using the abstract machine notation in a GKS case study B Ritchie, J Bicarregui, H Haughton FME'94: Industrial Benefit of Formal Methods: Second International Symposium …, 1994 | 12 | 1994 |
| An algebraic semantics for the specification language Z++ K Lano, HP Haughton Proceedings of the Second International Conference on Methodology and …, 1991 | 12 | 1991 |
| Improving the process of system specification and refinement in B K Lano, H Haughton 6th Refinement Workshop: Proceedings of the 6th Refinement Workshop …, 1994 | 10 | 1994 |
| Specifying a concept-recognition system in Z++ K Lano, H Haughton Object-oriented specification case studies, 137-157, 1994 | 9 | 1994 |
Kevin LanoDept. of Informatics, King's College LondonVerified email at kcl.ac.uk
