Howard P. Haughton

According to our database, Howard P. Haughton authored at least 20 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

MathOCL: a domain-specific language for financial modelling.

Howard P. Haughton, Sobhan Yassipour Tehrani, Kevin Lano

Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

Program Abstraction and Re-Engineering: An Agile MDE Approach.

Kevin Lano, Howard P. Haughton, Ziwen Yuan, Hessa Alfraihi

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2021

Synthesis of mobile applications using AgileUML.

Kevin Lano, Lyan Alwakeel, Shekoufeh Kolahdouz Rahimi, Howard P. Haughton

Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021

2019

Financial Software Engineering

Kevin Lano, Howard P. Haughton

Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-030-14049-6, 2019

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

Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

Comparative case studies in agile model-driven development.

Kevin Lano, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Howard P. Haughton

Proceedings of MODELS 2018 Workshops: ModComp, 2018

2017

Agile Model-driven Engineering of Financial Applications.

Kevin Lano, Howard P. Haughton, Sobhan Yassipour Tehrani, Hessa Alfraihi

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

1997

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, P. N. Scharbach

IEE Proc. Softw. Eng., 1997

1995

Formal development in B abstract machine notation.

Kevin Lano, Howard P. Haughton

Inf. Softw. Technol., 1995

1994

Improving the Process of System Specification and Refinement in B.

Kevin Lano, Howard P. Haughton

Proceedings of the 6th Refinement Workshop, 1994

Testing and Safety Analysis of AM (Abstract Machine) Specifications.

Howard P. Haughton, Kevin Lano

Proceedings of the 6th Refinement Workshop, 1994

A Strategy for the Production of Verifiable Code Using the B Method.

Andrew Storey, Howard P. Haughton

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Experiences in Using the Abstract Machine Notation in a GKS Case Study.

Brian Ritchie, Juan Bicarregui, Howard P. Haughton

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Reverse-engineering Cobol via formal methods.

Kevin Lano, Peter T. Breuer, Howard P. Haughton

J. Softw. Maintenance Res. Pract., 1993

Integrating Formal and Structured Methods in Reverse Engineering.

Kevin Lano, Howard P. Haughton

Proceedings of Working Conference on Reverse Engineering, 1993

1992

Reuse and Adaptation of Z Specifications.

Kevin Lano, Howard P. Haughton

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

Reasoning and Refinement in Object-Oriented Specification Languages.

Kevin Lano, Howard P. Haughton

Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992

1991

A specification-based approach to maintenance.

Kevin Lano, Howard P. Haughton

J. Softw. Maintenance Res. Pract., 1991

Objects revisited.

Howard P. Haughton, Kevin Lano

Proceedings of the Conference on Software Maintenance, 1991

An Algebraic Semantics for the Specification Language Z⁺⁺.

Kevin Lano, Howard P. Haughton

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991