[an error occurred while processing this directive]

<h1>EM Tools home page</h1>

<p>Several tools have been developed by the Empirical Modelling (EM)
project over the years.  <em>Tools</em> are, of course, distinct from
<em>models</em>: tools might be thought of as the machines on which
the models run.</p>

<h2>Eden based tools:</h2>

<p>Since its creation by Edward Yung for his MSc (which was submitted
in September 1989), Eden (the Evaluator of DEfinitive Notations) has
had a lot of influence in the EM project.  This is partly due to
Edward's far-sighted implementation which has allowed Eden to be the
base for many other definitive notations, partly due to the work of
Edward's brother Simon in creating <code>tkeden</code>, and partly due
to the work of many others since who have added to and improved the
Eden tools and constructed models using them.</p>

<p>The Eden tools are <code>ttyeden</code>, <code>tkeden</code> and
<code>dtkeden</code>.</p>


<h3>Using the tools at Warwick?</h3>

<p>If you are a student at the University of Warwick Department of
Computer Science (DCS), the tools are already set up for your use.
See the separate document <a href="edendcs.html">Using Eden at
DCS</a> for details.</p>


<h3>Downloading the tools</h3>

<p>The source code and pre-compiled binaries for Linux, Mac OS X and
Windows are available via HTTP at <a
href="http://www.dcs.warwick.ac.uk/research/modelling/ftp/">http://www.dcs.warwick.ac.uk/research/modelling/ftp/</a>
or via anonymous FTP from <a
href="ftp://ftp.dcs.warwick.ac.uk/pub/modelling">ftp://ftp.dcs.warwick.ac.uk/pub/modelling</a>.</p>


<h3>Documentation</h3>

<p>A documentation package, which contains a copy of all the
documentation below, can be downloaded via HTTP at <a
href="http://www.dcs.warwick.ac.uk/research/modelling/ftp/">http://www.dcs.warwick.ac.uk/research/modelling/ftp/</a>
or via anonymous FTP from <a
href="ftp://ftp.dcs.warwick.ac.uk/pub/modelling">ftp://ftp.dcs.warwick.ac.uk/pub/modelling</a>,
or access each document individually below.</p>


<ul>

<li><a href="start/">Getting started with the Eden tools</a>

<li><a href="edenfaq.html">Eden tool FAQs</a>

<li>The <a href="../../other/eden/">Eden handbook</a> (a language
reference manual)

<li>The <a href="../guides/donald/">Quick Guide to DoNaLD</a> (and <a
href="../guides/donald/whole.html">Donald as a single page</a>)

<li>The <a href="../guides/scout/">Quick Guide to Scout</a> (and <a
href="../guides/scout/whole.html">Scout as a single page</a>)

<li>The <a href="../guides/sasami/">Sasami User Guide</a>

<li>The <a href="../guides/eddi/">Quick Guide to EDDI</a>

<li><a href="../principles/lsd.html">What is LSD?</a>

<li><a href="dtkeden/">The Not-So-Quick Guide to dtkeden</a>

<li>Andy MacDonald's <a href="notesondefnots.html">Notes on Definitive
Notations</a> provides background and information about Eden, Donald
and Scout.

<li>A note on the <a href="../guides/adm/">Abstract Definitive
Machine</a> (and <a href="../guides/adm/whole.html">ADM as a single
page</a>)

<li>The <a href="eden-change.log.html">Eden change.log file</a>

</ul>

<p>Other Eden-based tools exist:</p>

<ul>

<li><code>jeden</code> is an implementation of Eden in Java, built as
a proof of concept of the MoDD API.
</li>

<li><code>adm</code> is an ADM to Eden script translator.
</li>

<li><code>arca</code> is an Arca to Eden script
translator.
</li>

<li><code>demomaker</code> enables <code>tkeden</code> sessions to be
recorded and then later replayed, together with additional commentary.
</li>

</ul>

<p>(Precursors to some of the above were <code>eden</code>,
<code>heden</code>, <code>ceden</code>, <code>donald</code>,
<code>scout</code>, <code>xeden</code> and <code>EX</code>).</p>


<h2>EM tools not using the Eden notation:</h2>

<p>Many other tools have been developed by the EM project.  Although
none of these have the broad applicability of the Eden-based tools,
they are still interesting in their own right.</p>


<ul>

<li><em>IEME</em> is the <em>I</em>ntegrated <em>E</em>mpirical
<em>M</em>odelling <em>E</em>nvironment.  It is targeted to end users
and attempts to support EM principles and offer better application and
tool level support.
</li>

<li><em>Wing</em> provides a definitive notation for defining
<em>win</em>dowing and <em>g</em>raphics objects.  It has a
spreadsheet like user interface that allows users to manipulate
definitions interactively.
</li>

<li><em>EWE</em> is the <em>E</em>mpirical <em>W</em>ool
<em>E</em>nvironment, a Java applet which attempts to communicate EM
ideas through a light-hearted illustrative notation for modelling
sheep.
</li>

<li><em>Empirical Worlds</em> is a proof of concept application
demonstrating virtual environments containing 3D shapes that are
dependent on one another.
</li>

<li>The <em>LSD Engine</em> animates LSD specifications.
</li>

<li><code>am</code> is the original interpreter for the Abstract
Definitive Machine.
</li>

<li>!donald (on the Acorn RiscPC platform) is a Donald to
DAM translator.
</li>

</ul>

<p>
(bridge, prime, check and hyper may be others).
</p>


<h2>APIs:</h2>

<p>Application Programming Interfaces are "libraries" of code that can
be used to provide facilities to a front-end application.</p>

<ul>

<li><em>JaM</em> is the Java Maintainer - a definition maintainer
written in Java.
</li>

<li><em>MoDD</em> is the Maintainer of Dynamic Dependencies - another
definition maintainer written in Java.
</li>

<li><em>DAM</em> (on the Acorn RiscPC platform) is the Definitive
Assembler Maintainer - a definition maintainer constructed mainly in
ARM assembler.
</li>

</ul>

[an error occurred while processing this directive]