Title :
The FermaT Maintenance Environment Tool Demonstration
Author_Institution :
Software Technol. Res. Lab., De Montfort Univ., Leicester, UK
Abstract :
The FermaT Maintenance Environment (FME) is a platform independent graphical user interface for the FermaT program transformation system. It is able to represent WSL code and apply FermaT transformations on single statements.
Keywords :
graphical user interfaces; program interpreters; software maintenance; software tools; FermaT maintenance environment tool; FermaT program transformation system; WSL code; platform independent graphical user interface; Displays; Engines; Functional programming; Graphical user interfaces; Helium; Java; Software maintenance; Software tools; Testing; Tree graphs; Program transformation; analysis; formal methods; migration; reverse engineering; transformation system;
Conference_Titel :
Source Code Analysis and Manipulation, 2009. SCAM '09. Ninth IEEE International Working Conference on
Conference_Location :
Edmonton, AB
Print_ISBN :
978-0-7695-3793-1
DOI :
10.1109/SCAM.2009.23
