Howard P. Haughton

24 papers A 1Journal 6Unranked 16

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