Martin P. Ward

According to our database, Martin P. Ward authored at least 42 papers between 1992 and 2017.

Collaborative distances:

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

2017

The formal semantics of program slicing for nonterminating computations.

Martin P. Ward, Hussein Zedan

J. Softw. Evol. Process., 2017

2014

Provably correct derivation of algorithms using FermaT.

Martin P. Ward, Hussein Zedan

Formal Aspects Comput., 2014

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

Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan

Computer, 2014

2013

Assembler restructuring in FermaT.

Martin P. Ward

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

2011

Deriving a Slicing Algorithm via FermaT Transformations.

Martin P. Ward, Hussein Zedan

IEEE Trans. Software Eng., 2011

Requirements Recovery by Matching Domain Ontology and Program Ontology.

Feng Chen, Hong Zhou, Hongji Yang, Martin P. Ward, William Cheng-Chung Chu

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

Combining dynamic and static slicing for analysing assembler.

Martin P. Ward, Hussein Zedan

Sci. Comput. Program., 2010

Transformational Programming and the Derivation of Algorithms.

Martin P. Ward, Hussein Zedan

Proceedings of the Computer and Information Sciences, 2010

2009

The FermaT Maintenance Environment Tool Demonstration.

Martin P. Ward

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

Properties of Slicing Definitions.

Martin P. Ward

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

2008

Conditioned semantic slicing for abstraction; industrial experiment.

Martin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg

Softw. Pract. Exp., 2008

2007

Slicing as a program transformation.

Martin P. Ward, Hussein Zedan

ACM Trans. Program. Lang. Syst., 2007

How knowledge companies succeed.

Martin P. Ward

J. Knowl. Manag., 2007

2005

<i>ConSUS</i>: a light-weight program conditioner.

Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward

J. Syst. Softw., 2005

Conditioned Semantic Slicing via Abstraction and Refinement in FermaT.

Martin P. Ward, Hussein Zedan, T. Hardcastle

Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 2005

MetaWSL and Meta-Transformations in the FermaT Transformation System.

Martin P. Ward, Hussein Zedan

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Pigs from sausages? Reengineering from assembler to C via FermaT transformations.

Martin P. Ward

Sci. Comput. Program., 2004

Legacy Assembler Reengineering and Migration.

Martin P. Ward, Hussein Zedan, T. Hardcastle

Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

2003

Slicing the SCAM Mug: A Case Study in Semantic Slicing.

Martin P. Ward

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.

Richard C. Millham, Martin P. Ward, Hongji Yang

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.

Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward

Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

Program Slicing via FermaT Transformations.

Martin P. Ward

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

The Formal Transformation Approach to Source Code Analysis and Manipulation.

Martin P. Ward

Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001

The FermaT Assembler Re-engineering Workbench.

Martin P. Ward

Proceedings of the 2001 International Conference on Software Maintenance, 2001

2000

Reverse Engineering from Assembler to Formal Specifications via Program Transformations.

Martin P. Ward

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.

Martin P. Ward, Keith H. Bennett

Comput. J., 1999

Assembler to C Migration Using the FermaT Transformation System.

Martin P. Ward

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.

Martin P. Ward

IEEE Trans. Software Eng., 1996

Program Analysis by Formal Transformation.

Martin P. Ward

Comput. J., 1996

1995

Formal methods for legacy systems.

Martin P. Ward, Keith H. Bennett

J. Softw. Maintenance Res. Pract., 1995

A definition of abstraction.

Martin P. Ward

J. Softw. Maintenance Res. Pract., 1995

Abstraction refinement: A model of software evolution discussion by M. Ward.

Martin P. Ward

J. Softw. Maintenance Res. Pract., 1995

Formal Methods to Aid the Evolution of Software.

Martin P. Ward, Keith H. Bennett

Int. J. Softw. Eng. Knowl. Eng., 1995

1994

Language-Oriented Programming.

Martin P. Ward

Softw. Concepts Tools, 1994

Inverse-engineering a simple real-time program.

E. J. Younger, Martin P. Ward

J. Softw. Maintenance Res. Pract., 1994

A Multipurpose Backtracking Algorithm.

Hilary A. Priestley, Martin P. Ward

J. Symb. Comput., 1994

Reverse Engineering through Formal Transformation: Knuths 'Polynomial Addition' Algorithm.

Martin P. Ward

Comput. J., 1994

Theory and practice of middle-out programming to support program understanding.

Keith H. Bennett, Martin P. Ward

Proceedings of the Proceedings 1994 IEEE 3rd Workshop on Program Comprehension, 1994

1993

Abstracting a specification from code.

Martin P. Ward

J. Softw. Maintenance Res. Pract., 1993

A Practical Program Transformation System for Reverse Engineering.

Martin P. Ward, K. H. Bennett

Proceedings of Working Conference on Reverse Engineering, 1993

Understanding concurrent programs using program transformations.

Edward J. Younger, Martin P. Ward

Proceedings of the IEEE Second Workshop on Program Comprehension, 1993

1992

A Recursion Removal Theorem.

Martin P. Ward

Proceedings of the 5th Refinement Workshop, 1992