An Algebraic Semantics for the Specification Language Z++. - Kevin Lano; Howard P. Haughton (AMAST, 1991)

Objects revisited. - Howard P. Haughton; Kevin Lano (ICSM, 1991)

A specification-based approach to maintenance. - Kevin Lano; Howard P. Haughton (J. Softw. Maintenance Res. Pract., 1991)

Reasoning and Refinement in Object-Oriented Specification Languages. - Kevin Lano; Howard P. Haughton (ECOOP, 1992)

Reuse and Adaptation of Z Specifications. - Kevin Lano; Howard P. Haughton (Z User Workshop, 1992)

Integrating Formal and Structured Methods in Reverse Engineering. - Kevin Lano; Howard P. Haughton (WCRE, 1993)

Reverse-engineering Cobol via formal methods. - Kevin Lano; Peter T. Breuer; Howard P. Haughton (J. Softw. Maintenance Res. Pract., 1993)

Experiences in Using the Abstract Machine Notation in a GKS Case Study. - Brian Ritchie; Juan Bicarregui; Howard P. Haughton (FME, 1994)

A Strategy for the Production of Verifiable Code Using the B Method. - Andrew Storey; Howard P. Haughton (FME, 1994)

Testing and Safety Analysis of AM (Abstract Machine) Specifications. - Howard P. Haughton; Kevin Lano (Refine, 1994)

Improving the Process of System Specification and Refinement in B. - Kevin Lano; Howard P. Haughton (Refine, 1994)

Formal development in B abstract machine notation. - Kevin Lano; Howard P. Haughton (Inf. Softw. Technol., 1995)

Formal methods into practice: case studies in the application of the B method. - Juan Bicarregui; D. L. Clutterbuck; Gavin R. Finnie; Howard P. Haughton; Kevin Lano; H. Lesan; D. W. R. M. Marsh; B. M. Matthews; Michael R. Moulding; A. Richard Newton; Brian Ritchie; T. G. A. Rushton; et al. (IEE Proc. Softw. Eng., 1997)

Agile Model-driven Engineering of Financial Applications. - Kevin Lano; Howard P. Haughton; Sobhan Yassipour Tehrani; Hessa Alfraihi (MoDELS (Satellite Events), 2017)

Comparative case studies in agile model-driven development. - Kevin Lano; Hessa Alfraihi; Shekoufeh Kolahdouz Rahimi; Mohammadreza Sharbaf; Howard P. Haughton (MoDELS (Workshops), 2018)

The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study. - Hessa Alfraihi; Kevin Lano; Shekoufeh Kolahdouz Rahimi; Mohammadreza Sharbaf; Howard P. Haughton (SAM, 2018)

Financial Software Engineering - Kevin Lano; Howard P. Haughton (Springer, 2019)

Synthesis of mobile applications using AgileUML. - Kevin Lano; Lyan Alwakeel; Shekoufeh Kolahdouz Rahimi; Howard P. Haughton (ISEC, 2021)

Program Abstraction and Re-Engineering: An Agile MDE Approach. - Kevin Lano; Howard P. Haughton; Ziwen Yuan; Hessa Alfraihi (MoDELS (Companion), 2023)

MathOCL: a domain-specific language for financial modelling. - Howard P. Haughton; Sobhan Yassipour Tehrani; Kevin Lano (Agile MDE/MeSS/TTC@STAF, 2023)

Research directions for agile model-driven engineering. - Kevin Lano; Hessa Alfraihi; Howard P. Haughton (STAF Workshops, 2024)

Model driven engineering in finance: Bond valuation, from formulae to code. - Asad Rahman; Kevin Lano; Howard P. Haughton (STAF Workshops, 2024)

A Concrete Syntax Transformation Approach for Software Language Processing. - Kevin Lano; Qiaomu Xue; Howard P. Haughton (SN Comput. Sci., 2024)

Agile model-driven re-engineering. - Kevin Lano; Howard P. Haughton; Ziwen Yuan; Hessa Alfraihi (Innov. Syst. Softw. Eng., 2024)