Martin P. Ward

43 papers B 3C 5Journal 23Unranked 12

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