MetaWSL and Meta-Transformations in the FermaT Transformation System,
Martin Ward and Hussein Zedan, 29th Annual International Computer Software and
Applications Conference, COMPSAC 2005 , Edinburgh, Scotland, July 26-28, 2005
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT
Martin Ward, Hussein Zedan and Tim Hardcastle
9th European Conference on Software Maintenance and Reengineering (CSMR)
Manchester, UK, March 21-23 2005
Legacy Assembler Reengineering and Migration, Martin Ward, Hussein Zedan
and Tim Hardcastle, ICSM2004, The 20th IEEE International Conference
on Software Maintenance , 11th-17th Sept Chicago Illinois, USA.
IEEE Computer Society
Slicing the SCAM Mug: A Case Study in Semantic Slicing, Martin Ward
Third IEEE International Workshop on Source Code Analysis and Manipulation,
27th September 2003, Amsterdam, Netherlands. IEEE Computer Society.
Program Slicing via FermaT Transformations, M. Ward 26th Annual International Computer Software and Applications Conference, COMPSAC 2002 , Oxford, England, 26th-29th August 2002 IEEE Computer Society.
ConSUS: A Scalable Approach to Conditioned Slicing, M. Daoudi, L. Ouarbya, J. Howroyd, S. Danicic, Mark Harman, Chris Fox, M. P. Ward 9th IEEE Working Conference on Reverse Engineering , 2002. October 28--November 1, 2002 Richmond, Virginia, USA IEEE Computer Society
The Formal Transformation Approach to Source Code Analysis and Manipulation, M. Ward, Keynote speech at the First International Workshop on Source Code Analysis and Manipulation, 10th November 2001, Florence, Italy IEEE Computer Society
The FermaT Assembler Re-engineering Workbench, M. Ward International Conference on Software Maintenance 2001, 6th-9th November 2001, Florence, Italy, IEEE Computer Society
Reverse Engineering from Assembler to Formal Specifications via Program Transformations, M. Ward 7th Working Conference on Reverse Engineering,
23-25th November 2000, Brisbane, Queensland, Australia IEEE Computer Society
Assembler to C Migration using the FermaT Transformation System, M. Ward
International Conference on Software Maintenance, 30th Aug--3rd Sept 1999, Oxford, England.