Martin Ward's Home Page
On the web since 21st July 1995
I am a Christian and Chief Technology Officer at
Software Migrations Ltd.
Until recently I was Reader in Software Engineering at De Montfort University,
working with the Software Technology Research Laboratory.
My email address used to be: Martin.Ward@durham.ac.uk, but is now:
firstname.lastname@example.org or Martin.Ward@smltd.com
The FermaT Transformation Engine,
an industrial-strength program transformation system.
available for download.
Talks delivered at the Vineyard Church in Durham
G.K. Chesterton Web Site.
My aim is to collect copies of all of
Chesterton's works which are currently available as etexts.
The usual pictures.
C. S. Lewis
(13.0MB) An address by Lewis's friend and hire car driver Clifford Morris,
originally broadcast by BBC Radio Oxford in 1971
mp3 version (18.0MB).
Speex version, (4.5MB, quality=2).
See http://www.speex.org for details on the Speex speech encoder.
The Gospel According to St. Mark: (The King James Version)
A recording of the one man stage show by Alec McCowen.
Part 1 (25MB),
Part 2 (21MB),
Part 3 (25MB),
Part 4 (21MB).
Danial Kane music
written and performed by Daniel Kane on the "Chapman stick",
a 10 string fretted touchboard.
Music by Karen Bishop
Old radio recordings
MSc in Software Engineering
Slides from my part of the 2017 MSc in Software Engineering course at De Montfort University.
A Magician Among the Spirits
by Harry Houdini. In this book, published in 1924, Houdini described the mediums and psychics whom
he revealed as fraudulent, exposing the tricks which had convinced many notable scientists and academics.
For the last 25 years or so I have been working on the theory
and application of Program Transformations. I have developed a Wide
Spectrum Language, called WSL, which is uniquely suitable
for program analysis and transformation. In parallel with the language design has
been the development of a transformation theory and proof methods,
together with methods for program development and inverse engineering.
The FermaT Transformation Engine
is one result of this research and is now available for
downloading under the GNU
A graphical front end for FermaT, the FermaT Maintenance Environment
is also available for downloading.
A tutorial is available.
transformation is an operation which modifies
a program into a different form which has the same external behaviour.
Both programs and specifications can be written in the same language
(namely WSL), this means that transformations can be used to demonstrate
that a given program is a correct implementation of a given specification,
and to transform a low-level, hard-to-understand assembler language
program into a more comprehensible high-level language program,
or even to an abstract specification.
Inverse Engineering is the process of extracting high-level
abstract specifications from source code using program transformations.
It forms the basis for a
formal method for
from source code to specifications.
At Software Migrations I am working on the
an industrial strength program transformation system targeted
at reverse engineering, program comprehension and migration
between programming languages. The system is currently being used
in several migration projects to translate IBM 370 and Intel x86 Assembler modules
into equivalent readable and maintainable C and COBOL programs.
Research Related Links
The WWW Virtual
Library: Formal Methods
who in formal methods on the Web
WPBL -- Weighted Private Block List
Join a distributed effort to accurately determine real-time spam sources
Want to send me SPAM?
Please read this first.
SPC Racing Components
A Christian Thinktank Excellent
apologetics resource for takling the hard questions.
Gospel for Asia
news and daily updated radio clip from Gospel for Asia
Resources on the Net
Christian Classics Ethereal Library
Project Gutenberg Lots of free books.
Project Gutenberg of Australia More free books.
LibriVox Public Domain audio books read by humans!
The Juggling Information Service
Dave Anderson's web site
has information on
using the Sony NW-E00X mp3 player on Linux etc.
Back to top of page.
Last modified: 8th April 2020.