Martin P. Ward - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2024

Climbing the Hill to Understand the CodeDoni Pracner, Martin P. Ward, Natasa Sukur, Zoran Budimac. access, 12:56847-56859, 2024. [doi]

2017

The formal semantics of program slicing for nonterminating computationsMartin P. Ward, Hussein Zedan. SMR, 29(1), 2017. [doi]

2014

Formality, Agility, Security, and Evolution in Software DevelopmentJonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan. Computer, 47(10):86-89, 2014. [doi]

Provably correct derivation of algorithms using FermaTMartin P. Ward, Hussein Zedan. fac, 26(5):993-1031, 2014. [doi]

2011

Requirements Recovery by Matching Domain Ontology and Program OntologyFeng Chen, Hong Zhou, Hongji Yang, Martin P. Ward, William Cheng-Chung Chu. compsac 2011: 602-607 [doi]

Deriving a Slicing Algorithm via FermaT TransformationsMartin P. Ward, Hussein Zedan. TSE, 37(1):24-47, 2011. [doi]

2010

Combining dynamic and static slicing for analysing assemblerMartin P. Ward, Hussein Zedan. SCP, 75(3):134-175, 2010. [doi]

Transformational Programming and the Derivation of AlgorithmsMartin P. Ward, Hussein Zedan. iscis 2010: 17-22 [doi]

2008

Conditioned semantic slicing for abstraction; industrial experimentMartin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg. SPE, 38(12):1273-1304, 2008. [doi]

2007

Slicing as a program transformationMartin P. Ward, Hussein Zedan. TOPLAS, 29(2):7, 2007. [doi]

2005

2004

Pigs from sausages? Reengineering from assembler to C via FermaT transformationsMartin P. Ward. SCP, 52:213-255, 2004. [doi]

Legacy Assembler Reengineering and MigrationMartin P. Ward, Hussein Zedan, T. Hardcastle. ICSM 2004: 157-166 [doi]

2003

Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO SystemRichard Millham, Martin P. Ward, Hongji Yang. compsac 2003: 342-347 [doi]

Slicing the SCAM Mug: A Case Study in Semantic SlicingMartin P. Ward. SCAM 2003: 88-97 [doi]

2002

ConSUS: A Scalable Approach to Conditioned SlicingMohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward. WCRE 2002: 109-118 [doi]

Program Slicing via FermaT TransformationsMartin P. Ward. compsac 2002: 357-362 [doi]

2001

The Formal Transformation Approach to Source Code Analysis and ManipulationMartin P. Ward. SCAM 2001: 187-195 [doi]

The FermaT Assembler Re-engineering WorkbenchMartin P. Ward. ICSM 2001: 659-662 [doi]

2000

Reverse Engineering from Assembler to Formal Specifications via Program TransformationsMartin P. Ward. WCRE 2000: 11 [doi]

1999

Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program ComprehensionMartin P. Ward, Keith H. Bennett. cj, 42(8):650-673, 1999.

Assembler to C Migration Using the FermaT Transformation SystemMartin P. Ward. ICSM 1999: 67-76 [doi]

1996

Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking AlgorithmMartin P. Ward. TSE, 22(9):665-686, 1996. [doi]

1995

Formal methods for legacy systemsMartin P. Ward, Keith H. Bennett. SMR, 7(3):203-219, 1995. [doi]

Formal Methods to Aid the Evolution of SoftwareMartin P. Ward, Keith H. Bennett. ijseke, 5(1):25-47, 1995. [doi]

1994

Theory and practice of middle-out programming to support program understandingKeith H. Bennett, Martin P. Ward. IWPC 1994: 168-175 [doi]

A Multipurpose Backtracking AlgorithmHilary A. Priestley, Martin P. Ward. JSC, 18(1):1-40, 1994.

Reverse Engineering through Formal Transformation: Knuths Polynomial Addition AlgorithmMartin P. Ward. cj, 37(9):795-813, 1994.

Language-Oriented ProgrammingMartin P. Ward. Software --- Concepts and Tools, 15(4), 1994. [doi]

Sign in or sign up to see more results.

runs on WebDSL