The SCEAS System
Navigation Menu

Search the dblp DataBase


Martin P. Ward: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002