The FermaT Assembler Re-engineering Workbench

Authors:
M. P. Ward
Affiliations:
De Montfort University
Venue:
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Year:
2001

Citing 8
Cited 0

Efficiently computing static single assignment form and the control dependence graph

ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimal control dependence computation and the Roman chariots problem

ACM Transactions on Programming Languages and Systems (TOPLAS)
A fast algorithm for finding dominators in a flowgraph

ACM Transactions on Programming Languages and Systems (TOPLAS)
An examination of software engineering work practices

CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Reverse Engineering from Assembler to Formal Specifications via Program Transformations

WCRE '00 Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)
Assembler to C Migration Using the FermaT Transformation System

ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
Bridging Program Comprehension Tools by Design Navigation

ICSM '00 Proceedings of the International Conference on Software Maintenance (ICSM'00)
Archetypal Source Code Searches: A Survey of Software Developers and Maintainers

IWPC '98 Proceedings of the 6th International Workshop on Program Comprehension

Quantified Score

Hi-index	0.00

Visualization

Abstract

Research into the working practices of software engineers has shown the need for integrated browsing and searching tools which include graphical visualisations linked bac to the source code under investigation.In addition,for assembler maintenance and re-engineering there is an even greater need for sophisticated control .ow analysis,data .ow analysis,slicing and migration technology.All these technologies are provided by the FermaT Workbench:an industrialstrength assembler re-engineering workbench consisting of a number of integrated tools for program comprehension,migration and re-engineering.The various program analysis and migrations tools are based on research carried out over the last sixteen years at Durham University,De Montfort University and Software Migrations Ltd.,and make extensive use of program transformation theory.