Howard P. Haughton

According to our database1, Howard P. Haughton authored at least 23 papers between 1991 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Concrete Syntax Transformation Approach for Software Language Processing.
SN Comput. Sci., June, 2024

Model driven engineering in finance: Bond valuation, from formulae to code.
Proceedings of the STAF 2024 Workshops: AgileMDE 2024, 2024

Research directions for agile model-driven engineering.
Proceedings of the STAF 2024 Workshops: AgileMDE 2024, 2024

2023
MathOCL: a domain-specific language for financial modelling.
Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

Program Abstraction and Re-Engineering: An Agile MDE Approach.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2021
Synthesis of mobile applications using AgileUML.
Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021

2019
Financial Software Engineering
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.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

Comparative case studies in agile model-driven development.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

2017
Agile Model-driven Engineering of Financial Applications.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

1997
Formal methods into practice: case studies in the application of the B method.
IEE Proc. Softw. Eng., 1997

1995
Formal development in B abstract machine notation.
Inf. Softw. Technol., 1995

1994
Improving the Process of System Specification and Refinement in B.
Proceedings of the 6th Refinement Workshop, 1994

Testing and Safety Analysis of AM (Abstract Machine) Specifications.
Proceedings of the 6th Refinement Workshop, 1994

A Strategy for the Production of Verifiable Code Using the B Method.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Experiences in Using the Abstract Machine Notation in a GKS Case Study.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993
Reverse-engineering Cobol via formal methods.
J. Softw. Maintenance Res. Pract., 1993

Integrating Formal and Structured Methods in Reverse Engineering.
Proceedings of Working Conference on Reverse Engineering, 1993

1992
Reuse and Adaptation of Z Specifications.
Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

Reasoning and Refinement in Object-Oriented Specification Languages.
Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992

1991
A specification-based approach to maintenance.
J. Softw. Maintenance Res. Pract., 1991

Objects revisited.
Proceedings of the Conference on Software Maintenance, 1991

An Algebraic Semantics for the Specification Language Z<sup>++</sup>.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991


  Loading...