Howard P. Haughton

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 9

Top Topics

Language Processing

Agile Software Development

Top Venues

MoDELS (Workshops)

Publications

Kevin Lano, Qiaomu Xue, Howard P. Haughton
A Concrete Syntax Transformation Approach for Software Language Processing. SN Comput. Sci. 5 (5) (2024)
Asad Rahman, Kevin Lano, Howard P. Haughton
Model driven engineering in finance: Bond valuation, from formulae to code. STAF Workshops (2024)
Kevin Lano, Hessa Alfraihi, Howard P. Haughton
Research directions for agile model-driven engineering. STAF Workshops (2024)
Howard P. Haughton, Sobhan Yassipour Tehrani, Kevin Lano
MathOCL: a domain-specific language for financial modelling. Agile MDE/MeSS/TTC@STAF (2023)
Kevin Lano, Howard P. Haughton, Ziwen Yuan, Hessa Alfraihi
Program Abstraction and Re-Engineering: An Agile MDE Approach. MoDELS (Companion) (2023)
Kevin Lano, Lyan Alwakeel, Shekoufeh Kolahdouz Rahimi, Howard P. Haughton
Synthesis of mobile applications using AgileUML. ISEC (2021)
Kevin Lano, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Howard P. Haughton
Comparative case studies in agile model-driven development. MoDELS (Workshops) (2018)
Hessa Alfraihi, Kevin Lano, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Howard P. Haughton
The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study. SAM (2018)
Kevin Lano, Howard P. Haughton, Sobhan Yassipour Tehrani, Hessa Alfraihi
Agile Model-driven Engineering of Financial Applications. MoDELS (Satellite Events) (2017)
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, P. N. Scharbach
Formal methods into practice: case studies in the application of the B method. IEE Proc. Softw. Eng. 144 (2) (1997)
Kevin Lano, Howard P. Haughton
Formal development in B abstract machine notation. Inf. Softw. Technol. 37 (5-6) (1995)
Kevin Lano, Howard P. Haughton
Improving the Process of System Specification and Refinement in B. Refine (1994)
Brian Ritchie, Juan Bicarregui, Howard P. Haughton
Experiences in Using the Abstract Machine Notation in a GKS Case Study. FME (1994)
Andrew Storey, Howard P. Haughton
A Strategy for the Production of Verifiable Code Using the B Method. FME (1994)
Howard P. Haughton, Kevin Lano
Testing and Safety Analysis of AM (Abstract Machine) Specifications. Refine (1994)
Kevin Lano, Howard P. Haughton
Integrating Formal and Structured Methods in Reverse Engineering. WCRE (1993)
Kevin Lano, Peter T. Breuer, Howard P. Haughton
Reverse-engineering Cobol via formal methods. J. Softw. Maintenance Res. Pract. 5 (1) (1993)
Kevin Lano, Howard P. Haughton
Reasoning and Refinement in Object-Oriented Specification Languages. ECOOP (1992)
Kevin Lano, Howard P. Haughton
Reuse and Adaptation of Z Specifications. Z User Workshop (1992)
Kevin Lano, Howard P. Haughton
. AMAST (1991)
Kevin Lano, Howard P. Haughton
A specification-based approach to maintenance. J. Softw. Maintenance Res. Pract. 3 (4) (1991)
Howard P. Haughton, Kevin Lano
Objects revisited. ICSM (1991)