Παρακολούθηση
Martin Ward
Martin Ward
Reader in Software Engineering, De Montfort University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα gkc.org.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Language-oriented programming
M Ward
Software--Concepts and Tools 15 (4), 147-161, 1994
333*1994
Successful Evolution of Software Systems
H Yang, M Ward
Inc., Norwood, MA, 282, 2003
1532003
Successful Evolution of Software Systems
H Yang, M Ward
Artech House, 2003
1532003
The Maintainer's Assistant (software tool)
W Ward, FW Calliss, M Munro
Proceedings. Conference on Software Maintenance-1989, 307-315, 1989
1381989
Proving program refinements and transformations
M Ward
University of Oxford, 1989
1341989
Assembler to C migration using the FermaT transformation system
MP Ward
Proceedings IEEE International Conference on Software Maintenance-1999 (ICSM …, 1999
891999
Abstracting a specification from code
M Ward
Journal of Software Maintenance: Research and Practice 5 (2), 101-122, 1993
801993
Formal methods for legacy systems
MP Ward, KH Bennett
Journal of Software Maintenance: Research and Practice 7 (3), 203-219, 1995
611995
A Multipurpose Backtracking Algorithm
HA Priestley, MP Ward
Journal of Symbolic Computation 18 (1), 40, 1994
611994
Reverse Engineering through Formal Transformation: Knuth's ‘Polynomial Addition’Algorithm
MP Ward
The Computer Journal 37 (9), 795-813, 1994
601994
A Multipurpose Backtracking Algorithm
HA Priestley, MP Ward
Journal of Symbolic Computation 18 (1), 1-40, 1994
591994
Formal methods to aid the evolution of software
MP Ward, KH Bennett
International Journal of Software Engineering and Knowledge Engineering 5 …, 1995
541995
A practical program transformation system for reverse engineering
MP Ward, KH Bennett
[1993] Proceedings Working Conference on Reverse Engineering, 212-221, 1993
541993
Slicing as a program transformation.
M Ward, H Zedan
TOPLAS 29 (2), 52, 2007
532007
Slicing as a program transformation
M Ward, H Zedan
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2), 7-es, 2007
532007
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
MP Ward
Science of Computer Programming 52 (1-3), 213-255, 2004
482004
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
461996
Program slicing via FermaT transformations
MP Ward
Proceedings 26th Annual International Computer Software and Applications …, 2002
422002
The formal transformation approach to source code analysis and manipulation
MP Ward
Proceedings First IEEE International Workshop on Source Code Analysis and …, 2001
362001
Reverse engineering from assembler to formal specifications via program transformations
MP Ward
Proceedings Seventh Working Conference on Reverse Engineering, 11-20, 2000
322000
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20