Martin P. Ward

Orcid: 0000-0001-7127-3311

Affiliations:
  • Durham University, UK


According to our database1, Martin P. Ward authored at least 43 papers between 1992 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Climbing the Hill to Understand the Code.
IEEE Access, 2024

2017
The formal semantics of program slicing for nonterminating computations.
J. Softw. Evol. Process., 2017

2014
Provably correct derivation of algorithms using FermaT.
Formal Aspects Comput., 2014

Formality, Agility, Security, and Evolution in Software Development.
Computer, 2014

2013
Assembler restructuring in FermaT.
Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

2011
Deriving a Slicing Algorithm via FermaT Transformations.
IEEE Trans. Software Eng., 2011

Requirements Recovery by Matching Domain Ontology and Program Ontology.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Combining dynamic and static slicing for analysing assembler.
Sci. Comput. Program., 2010

Transformational Programming and the Derivation of Algorithms.
Proceedings of the Computer and Information Sciences, 2010

2009
The FermaT Maintenance Environment Tool Demonstration.
Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

Properties of Slicing Definitions.
Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

2008
Conditioned semantic slicing for abstraction; industrial experiment.
Softw. Pract. Exp., 2008

2007
Slicing as a program transformation.
ACM Trans. Program. Lang. Syst., 2007

How knowledge companies succeed.
J. Knowl. Manag., 2007

2005
<i>ConSUS</i>: a light-weight program conditioner.
J. Syst. Softw., 2005

Conditioned Semantic Slicing via Abstraction and Refinement in FermaT.
Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 2005

MetaWSL and Meta-Transformations in the FermaT Transformation System.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
Pigs from sausages? Reengineering from assembler to C via FermaT transformations.
Sci. Comput. Program., 2004

Legacy Assembler Reengineering and Migration.
Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

2003
Slicing the SCAM Mug: A Case Study in Semantic Slicing.
Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003

Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002
ConSUS: A Scalable Approach to Conditioned Slicing.
Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

Program Slicing via FermaT Transformations.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
The Formal Transformation Approach to Source Code Analysis and Manipulation.
Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001

The FermaT Assembler Re-engineering Workbench.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

2000
Reverse Engineering from Assembler to Formal Specifications via Program Transformations.
Proceedings of the Seventh Working Conference on Reverse Engineering, 2000

1999
Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension.
Comput. J., 1999

Assembler to C Migration Using the FermaT Transformation System.
Proceedings of the 1999 International Conference on Software Maintenance, 1999

1996
Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm.
IEEE Trans. Software Eng., 1996

Program Analysis by Formal Transformation.
Comput. J., 1996

1995
Formal methods for legacy systems.
J. Softw. Maintenance Res. Pract., 1995

A definition of abstraction.
J. Softw. Maintenance Res. Pract., 1995

Abstraction refinement: A model of software evolution discussion by M. Ward.
J. Softw. Maintenance Res. Pract., 1995

Formal Methods to Aid the Evolution of Software.
Int. J. Softw. Eng. Knowl. Eng., 1995

1994
Language-Oriented Programming.
Softw. Concepts Tools, 1994

Inverse-engineering a simple real-time program.
J. Softw. Maintenance Res. Pract., 1994

A Multipurpose Backtracking Algorithm.
J. Symb. Comput., 1994

Reverse Engineering through Formal Transformation: Knuths 'Polynomial Addition' Algorithm.
Comput. J., 1994

Theory and practice of middle-out programming to support program understanding.
Proceedings of the Proceedings 1994 IEEE 3rd Workshop on Program Comprehension, 1994

1993
Abstracting a specification from code.
J. Softw. Maintenance Res. Pract., 1993

A Practical Program Transformation System for Reverse Engineering.
Proceedings of Working Conference on Reverse Engineering, 1993

Understanding concurrent programs using program transformations.
Proceedings of the IEEE Second Workshop on Program Comprehension, 1993

1992
A Recursion Removal Theorem.
Proceedings of the 5th Refinement Workshop, 1992


  Loading...