Martin P. Ward

2008
22	EE	Martin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg: Conditioned semantic slicing for abstraction; industrial experiment. Softw., Pract. Exper. 38(12): 1273-1304 (2008)
2007
21	EE	Martin P. Ward, Hussein Zedan: Slicing as a program transformation. ACM Trans. Program. Lang. Syst. 29(2): (2007)
2005
20	EE	Martin P. Ward, Hussein Zedan: MetaWSL and Meta-Transformations in the FermaT Transformation System. COMPSAC (1) 2005: 233-238
19	EE	Martin P. Ward, Hussein Zedan, T. Hardcastle: Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. CSMR 2005: 178-187
18	EE	Sebastian 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
17	EE	Martin P. Ward, Hussein Zedan, T. Hardcastle: Legacy Assembler Reengineering and Migration. ICSM 2004: 157-166
16	EE	Martin P. Ward: Pigs from sausages? Reengineering from assembler to C via FermaT transformations. Sci. Comput. Program. 52: 213-255 (2004)
2003
15	EE	Richard Millham, Martin P. Ward, Hongji Yang: Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System. COMPSAC 2003: 342-347
14	EE	Martin P. Ward: Slicing the SCAM Mug: A Case Study in Semantic Slicing. SCAM 2003: 88-97
2002
13	EE	Martin P. Ward: Program Slicing via FermaT Transformations. COMPSAC 2002: 357-362
12	EE	Mohammed 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
11	EE	Martin P. Ward: The FermaT Assembler Re-engineering Workbench. ICSM 2001: 659-662
10	EE	Martin P. Ward: The Formal Transformation Approach to Source Code Analysis and Manipulation. SCAM 2001: 187-195
9	EE	Martin P. Ward: Reverse Engineering from Assembler to Formal Specifications via Program Transformations CoRR cs.SE/0105006: (2001)
2000
8	EE	Martin P. Ward: Reverse Engineering from Assembler to Formal Specifications via Program Transformations. WCRE 2000: 11-
1999
7	EE	Martin 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
5	EE	Martin 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
4	EE	Martin 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

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

Colors in the list of coauthors