dblp.uni-trier.dewww.uni-trier.de

Martin P. Ward

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
22EEMartin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg: Conditioned semantic slicing for abstraction; industrial experiment. Softw., Pract. Exper. 38(12): 1273-1304 (2008)
2007
21EEMartin P. Ward, Hussein Zedan: Slicing as a program transformation. ACM Trans. Program. Lang. Syst. 29(2): (2007)
2005
20EEMartin P. Ward, Hussein Zedan: MetaWSL and Meta-Transformations in the FermaT Transformation System. COMPSAC (1) 2005: 233-238
19EEMartin P. Ward, Hussein Zedan, T. Hardcastle: Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. CSMR 2005: 178-187
18EESebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward: ConSUS: a light-weight program conditioner. Journal of Systems and Software 77(3): 241-262 (2005)
2004
17EEMartin P. Ward, Hussein Zedan, T. Hardcastle: Legacy Assembler Reengineering and Migration. ICSM 2004: 157-166
16EEMartin P. Ward: Pigs from sausages? Reengineering from assembler to C via FermaT transformations. Sci. Comput. Program. 52: 213-255 (2004)
2003
15EERichard Millham, Martin P. Ward, Hongji Yang: Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System. COMPSAC 2003: 342-347
14EEMartin P. Ward: Slicing the SCAM Mug: A Case Study in Semantic Slicing. SCAM 2003: 88-97
2002
13EEMartin P. Ward: Program Slicing via FermaT Transformations. COMPSAC 2002: 357-362
12EEMohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward: ConSUS: A Scalable Approach to Conditioned Slicing. WCRE 2002: 109-118
2001
11EEMartin P. Ward: The FermaT Assembler Re-engineering Workbench. ICSM 2001: 659-662
10EEMartin P. Ward: The Formal Transformation Approach to Source Code Analysis and Manipulation. SCAM 2001: 187-195
9EEMartin P. Ward: Reverse Engineering from Assembler to Formal Specifications via Program Transformations CoRR cs.SE/0105006: (2001)
2000
8EEMartin P. Ward: Reverse Engineering from Assembler to Formal Specifications via Program Transformations. WCRE 2000: 11-
1999
7EEMartin P. Ward: Assembler to C Migration Using the FermaT Transformation System. ICSM 1999: 67-76
6 Martin P. Ward, Keith H. Bennett: Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension. Comput. J. 42(8): 650-673 (1999)
1996
5EEMartin P. Ward: Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm. IEEE Trans. Software Eng. 22(9): 665-686 (1996)
1995
4EEMartin P. Ward, Keith H. Bennett: Formal Methods to Aid the Evolution of Software. International Journal of Software Engineering and Knowledge Engineering 5(1): 25-47 (1995)
1994
3 Martin P. Ward: Reverse Engineering through Formal Transformation: Knuths 'Polynomial Addition' Algorithm. Comput. J. 37(9): 795-813 (1994)
2 Hilary A. Priestley, Martin P. Ward: A Multipurpose Backtracking Algorithm. J. Symb. Comput. 18(1): 1-40 (1994)
1 Martin P. Ward: Language-Oriented Programming. Software - Concepts and Tools 15(4): 147-161 (1994)

Coauthor Index

1Keith H. Bennett [4] [6]
2Sebastian Danicic [12] [18]
3Mohammed Daoudi [12] [18]
4Chris Fox [12] [18]
5T. Hardcastle [17] [19]
6Mark Harman [12] [18]
7Robert M. Hierons [18]
8John Howroyd [12] [18]
9Matthias Ladkau [22]
10Richard Millham [15]
11Stefan Natelberg [22]
12Lahcen Ouarbya [12] [18]
13Hilary A. Priestley [2]
14Hongji Yang [15]
15Hussein Zedan (Hussein S. M. Zedan) [17] [19] [20] [21] [22]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)