Howard P. Haughton

Qiaomu Xue

SN Comput. Sci., June, 2024

Model driven engineering in finance: Bond valuation, from formulae to code.

[BibT_eX]

[DOI]

Asad Rahman

Proceedings of the STAF 2024 Workshops: AgileMDE 2024, 2024

Research directions for agile model-driven engineering.

[BibT_eX]

[DOI]

Proceedings of the STAF 2024 Workshops: AgileMDE 2024, 2024

2023

MathOCL: a domain-specific language for financial modelling.

[BibT_eX]

[DOI]

Sobhan Yassipour Tehrani

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

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

[BibT_eX]

[DOI]

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

2021

Synthesis of mobile applications using AgileUML.

[BibT_eX]

[DOI]

Shekoufeh Kolahdouz Rahimi

Lyan Alwakeel

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

2019

Financial Software Engineering

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Shekoufeh Kolahdouz Rahimi

Mohammadreza Sharbaf

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

Comparative case studies in agile model-driven development.

[BibT_eX]

[DOI]

Shekoufeh Kolahdouz Rahimi

Mohammadreza Sharbaf

Proceedings of MODELS 2018 Workshops: ModComp, 2018

2017

Agile Model-driven Engineering of Financial Applications.

[BibT_eX]

[DOI]

Sobhan Yassipour Tehrani

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

1997

Formal methods into practice: case studies in the application of the B method.

[BibT_eX]

[DOI]

IEE Proc. Softw. Eng., 1997

1995

Formal development in B abstract machine notation.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1995

1994

Improving the Process of System Specification and Refinement in B.

[BibT_eX]

[DOI]

Proceedings of the 6th Refinement Workshop, 1994

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

[BibT_eX]

[DOI]

Proceedings of the 6th Refinement Workshop, 1994

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

[BibT_eX]

[DOI]

Andrew Storey

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

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

[BibT_eX]

[DOI]

Brian Ritchie

Juan Bicarregui

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

1993

Reverse-engineering Cobol via formal methods.

[BibT_eX]

[DOI]

Peter T. Breuer

J. Softw. Maintenance Res. Pract., 1993

Integrating Formal and Structured Methods in Reverse Engineering.

[BibT_eX]

[DOI]

Proceedings of Working Conference on Reverse Engineering, 1993

1992

Reuse and Adaptation of Z Specifications.

[BibT_eX]

[DOI]

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

Reasoning and Refinement in Object-Oriented Specification Languages.

[BibT_eX]

[DOI]

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

1991

A specification-based approach to maintenance.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 1991

Objects revisited.

[BibT_eX]

[DOI]

Proceedings of the Conference on Software Maintenance, 1991

An Algebraic Semantics for the Specification Language Z<sup>++</sup>.

[BibT_eX]