Travelled to:1 × Australia
1 × Canada
1 × Italy
1 × The Netherlands
1 × United Kingdom
2 × USA
Collaborated with:∅ H.Zedan T.Hardcastle M.Daoudi L.Ouarbya J.Howroyd S.Danicic M.Harman C.Fox
Talks about:slice (5) assembl (4) ferma (4) transform (3) approach (2) semant (2) migrat (2) formal (2) condit (2) engin (2)
Person: Martin P. Ward
DBLP: Ward:Martin_P=
Contributed to:
2009
2005
20042003
20022001200120001999Wrote 10 papers:
- SCAM-2009-Ward #slicing
- Properties of Slicing Definitions (MPW), pp. 23–32.
- SCAM-2009-Ward09a #maintenance #tool support
- The FermaT Maintenance Environment Tool Demonstration (MPW), pp. 125–126.
- CSMR-2005-WardZH #abstraction #refinement #semantics #slicing
- Conditioned Semantic Slicing via Abstraction and Refinement in FermaT (MPW, HZ, TH), pp. 178–187.
- ICSM-2004-WardZH #assembly #legacy #migration #re-engineering
- Legacy Assembler Reengineering and Migration (MPW, HZ, TH), pp. 157–166.
- SCAM-2003-Ward #case study #semantics #slicing
- Slicing the SCAM Mug: A Case Study in Semantic Slicing (MPW), pp. 88–97.
- WCRE-2002-DaoudiOHDHFW #approach #named #scalability #slicing
- ConSUS: A Scalable Approach to Conditioned Slicing (MD, LO, JH, SD, MH, CF, MPW), pp. 109–118.
- ICSM-2001-Ward #assembly #re-engineering
- The FermaT Assembler Re-engineering Workbench (MPW), pp. 659–662.
- SCAM-2001-Ward #analysis #approach #source code
- The Formal Transformation Approach to Source Code Analysis and Manipulation (MPW), pp. 187–195.
- WCRE-2000-Ward #assembly #program transformation #reverse engineering #specification
- Reverse Engineering from Assembler to Formal Specifications via Program Transformations (MPW), p. 11–?.
- ICSM-1999-Ward #assembly #c #migration #using
- Assembler to C Migration Using the FermaT Transformation System (MPW), pp. 67–76.