DocumentCode
1691607
Title
The FermaT Maintenance Environment Tool Demonstration
Author
Ward, Martin
Author_Institution
Software Technol. Res. Lab., De Montfort Univ., Leicester, UK
fYear
2009
Firstpage
125
Lastpage
126
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SCAM.2009.23
Filename
5279936
Link To Document