Comments FermaT Maintenance Environment Tutorial (2007)
by
Matthias Ladkau
,
Inspected Prof
,
Hussein Zedan
,
Matthias Ladkau
BibTeX
@MISC{Ladkau07commentsfermat,
author = {Matthias Ladkau and Inspected Prof and Hussein Zedan and Matthias Ladkau},
title = {Comments FermaT Maintenance Environment Tutorial},
year = {2007}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This document gives a brief practical oriented introduction to the FermaT Maintenance Environment (FME). It covers the installation and usage of the program via practical examples.
Citations
| 1310 | A Discipline of Programming - Dijkstra - 1976 |
| 129 | The specification statement - Morgan - 1988 |
| 13 | Pigs from sausages? reengineering from assembler to c via fermat transformations - Ward - 2004 |
| 10 | Formal methods for legacy systems - Ward, Bennett - 1995 |
| 2 | Analysing and abstracting legacy assembler code via conditioned semantic slicing - Ward, Zedan - 2006 |
