| Language-oriented programming M Ward Software--Concepts and Tools 15 (4), 147-161, 1994 | 337* | 1994 |
| Successful Evolution of Software Systems H Yang, M Ward Inc., Norwood, MA, 282, 2003 | 154 | 2003 |
| Successful Evolution of Software Systems H Yang, M Ward Artech House, 2003 | 154 | 2003 |
| The Maintainer's Assistant (software tool) W Ward, FW Calliss, M Munro Proceedings. Conference on Software Maintenance-1989, 307-315, 1989 | 138 | 1989 |
| Proving program refinements and transformations M Ward University of Oxford, 1989 | 136 | 1989 |
| Assembler to C migration using the FermaT transformation system MP Ward Proceedings IEEE International Conference on Software Maintenance-1999 (ICSM …, 1999 | 89 | 1999 |
| Abstracting a specification from code M Ward Journal of Software Maintenance: Research and Practice 5 (2), 101-122, 1993 | 80 | 1993 |
| Formal methods for legacy systems MP Ward, KH Bennett Journal of Software Maintenance: Research and Practice 7 (3), 203-219, 1995 | 62 | 1995 |
| A Multipurpose Backtracking Algorithm HA Priestley, MP Ward Journal of Symbolic Computation 18 (1), 40, 1994 | 61 | 1994 |
| Reverse Engineering through Formal Transformation: Knuth's ‘Polynomial Addition’Algorithm MP Ward The Computer Journal 37 (9), 795-813, 1994 | 60 | 1994 |
| A Multipurpose Backtracking Algorithm HA Priestley, MP Ward Journal of Symbolic Computation 18 (1), 1-40, 1994 | 59 | 1994 |
| Formal methods to aid the evolution of software MP Ward, KH Bennett International Journal of Software Engineering and Knowledge Engineering 5 …, 1995 | 54 | 1995 |
| A practical program transformation system for reverse engineering MP Ward, KH Bennett [1993] Proceedings Working Conference on Reverse Engineering, 212-221, 1993 | 54 | 1993 |
| Slicing as a program transformation. M Ward, H Zedan TOPLAS 29 (2), 52, 2007 | 53 | 2007 |
| Pigs from sausages? Reengineering from assembler to C via FermaT transformations MP Ward Science of Computer Programming 52 (1-3), 213-255, 2004 | 49 | 2004 |
| Derivation of data intensive algorithms by formal transformation: the Schnorr-Waite graph marking algorithm M Ward IEEE Transactions on Software Engineering 22 (9), 665-686, 1996 | 46 | 1996 |
| Program slicing via FermaT transformations MP Ward Proceedings 26th Annual International Computer Software and Applications …, 2002 | 42 | 2002 |
| The formal transformation approach to source code analysis and manipulation MP Ward Proceedings First IEEE International Workshop on Source Code Analysis and …, 2001 | 36 | 2001 |
| Reverse engineering from assembler to formal specifications via program transformations MP Ward Proceedings Seventh Working Conference on Reverse Engineering, 11-20, 2000 | 32 | 2000 |
| The FermaT assembler re-engineering workbench MP Ward Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 …, 2001 | 31 | 2001 |
sebastian danicicReader in Computer Science, Goldsmiths, University of London在 gold.ac.uk 的电子邮件经过验证
