Martin P. Ward

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 2

Top Topics

Formal Semantics

Program Slicing

Agile Software Development

Owl Dl Ontology

Top Venues

Formal Aspects Comput.

J. Softw. Evol. Process.

Publications

Doni Pracner, Martin P. Ward, Natasa Sukur, Zoran Budimac
Climbing the Hill to Understand the Code. IEEE Access 12 (2024)
Martin P. Ward, Hussein Zedan
The formal semantics of program slicing for nonterminating computations. J. Softw. Evol. Process. 29 (1) (2017)
Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan
Formality, Agility, Security, and Evolution in Software Development. Computer 47 (10) (2014)
Martin P. Ward, Hussein Zedan
Provably correct derivation of algorithms using FermaT. Formal Aspects Comput. 26 (5) (2014)
Martin P. Ward
Assembler restructuring in FermaT. SCAM (2013)
Martin P. Ward, Hussein Zedan
Deriving a Slicing Algorithm via FermaT Transformations. IEEE Trans. Software Eng. 37 (1) (2011)
Feng Chen, Hong Zhou, Hongji Yang, Martin P. Ward, William Cheng-Chung Chu
Requirements Recovery by Matching Domain Ontology and Program Ontology. COMPSAC (2011)
Martin P. Ward, Hussein Zedan
Combining dynamic and static slicing for analysing assembler. Sci. Comput. Program. 75 (3) (2010)
Martin P. Ward, Hussein Zedan
Transformational Programming and the Derivation of Algorithms. ISCIS (2010)
Martin P. Ward
Properties of Slicing Definitions. SCAM (2009)
Martin P. Ward
The FermaT Maintenance Environment Tool Demonstration. SCAM (2009)
Martin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg
Conditioned semantic slicing for abstraction; industrial experiment. Softw. Pract. Exp. 38 (12) (2008)
Martin P. Ward, Hussein Zedan
Slicing as a program transformation. ACM Trans. Program. Lang. Syst. 29 (2) (2007)
Martin P. Ward
How knowledge companies succeed. J. Knowl. Manag. 11 (6) (2007)
Martin P. Ward, Hussein Zedan, T. Hardcastle
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. CSMR (2005)
Martin P. Ward, Hussein Zedan
MetaWSL and Meta-Transformations in the FermaT Transformation System. COMPSAC (1) (2005)
Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward
: a light-weight program conditioner. J. Syst. Softw. 77 (3) (2005)
Martin P. Ward
Pigs from sausages? Reengineering from assembler to C via FermaT transformations. Sci. Comput. Program. 52 (2004)
Martin P. Ward, Hussein Zedan, T. Hardcastle
Legacy Assembler Reengineering and Migration. ICSM (2004)
Martin P. Ward
Slicing the SCAM Mug: A Case Study in Semantic Slicing. SCAM (2003)
Richard C. Millham, Martin P. Ward, Hongji Yang
Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System. COMPSAC (2003)
Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward
ConSUS: A Scalable Approach to Conditioned Slicing. WCRE (2002)
Martin P. Ward
Program Slicing via FermaT Transformations. COMPSAC (2002)
Martin P. Ward
Reverse Engineering from Assembler to Formal Specifications via Program Transformations CoRR (2001)
Martin P. Ward
The Formal Transformation Approach to Source Code Analysis and Manipulation. SCAM (2001)
Martin P. Ward
The FermaT Assembler Re-engineering Workbench. ICSM (2001)
Martin P. Ward
Reverse Engineering from Assembler to Formal Specifications via Program Transformations. WCRE (2000)
Martin P. Ward, Keith H. Bennett
Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension. Comput. J. 42 (8) (1999)
Martin P. Ward
Assembler to C Migration Using the FermaT Transformation System. ICSM (1999)
Martin P. Ward
Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm. IEEE Trans. Software Eng. 22 (9) (1996)
Martin P. Ward, Keith H. Bennett
Formal methods for legacy systems. J. Softw. Maintenance Res. Pract. 7 (3) (1995)
Martin P. Ward, Keith H. Bennett
Formal Methods to Aid the Evolution of Software. Int. J. Softw. Eng. Knowl. Eng. 5 (1) (1995)
Martin P. Ward
Abstraction refinement: A model of software evolution discussion by M. Ward. J. Softw. Maintenance Res. Pract. 7 (5) (1995)
Martin P. Ward
A definition of abstraction. J. Softw. Maintenance Res. Pract. 7 (6) (1995)
Martin P. Ward
Reverse Engineering through Formal Transformation: Knuths 'Polynomial Addition' Algorithm. Comput. J. 37 (9) (1994)
Martin P. Ward
Language-Oriented Programming. Softw. Concepts Tools 15 (4) (1994)
Hilary A. Priestley, Martin P. Ward
A Multipurpose Backtracking Algorithm. J. Symb. Comput. 18 (1) (1994)
Keith H. Bennett, Martin P. Ward
Theory and practice of middle-out programming to support program understanding. WPC (1994)
Martin P. Ward
Abstracting a specification from code. J. Softw. Maintenance Res. Pract. 5 (2) (1993)
Martin P. Ward
A Recursion Removal Theorem. Refine (1992)