The Empirical Modelling research group has constructed various software over the years in order to support practical modelling. The primary emphasis in this work has been on experimental tools to support exploratory modelling with definitive notations. EDEN is the primary software tool, dating from 1987. The ADM is another tool which was initially implemented as a limited command-line program, and later as an ADM to Eden translator. CADENCE is the most recent tool to be developed to support EM; this tool is the work of Nick Pope and uses a radically different approach to capturing 'state-as-experienced' that overcomes some of the significant problems encountered in using definitive scripts.

Other software projects have been constructed, but have not involved as much development or testing effort as EDEN. Some of these projects are listed alphabetically below for your interest. They are not documented in this website section -- try looking for the authors' project/thesis writeups or contact us if you want more information.

• adm, adm2 and adm3 are ADM to Eden script translators. The first two were written by Edward Yung. adm3 was written by Patrick Sun.
• am by Mike Slade is the original interpreter for the Abstract Definitive Machine.
• arca is an Arca to Eden script translator.
• DAM (on the Acorn RiscPC platform) is the Definitive Assembler Maintainer API, by Richard Cartwright - a definition maintainer constructed mainly in ARM assembler.
• !donald (on the Acorn RiscPC platform) is a Donald to DAM translator, written by James Allderidge and later extended by Ashley Ward.
• demomaker by Simon Yung enables tkeden sessions to be recorded and then later replayed, together with additional commentary.
• eden, heden, ceden, donald, scout, xeden, EX and bridge by Edward and Simon Yung were precursors to the current EDEN implementation.
• EdenLisp by Alan Cartwright is a definitive evaluator written in AutoLisp, a superset of Lisp, and interfaced with AutoCAD (a commercial Computer Aided Design package).
• Empirical Worlds by Richard Cartwright is a proof of concept application demonstrating virtual environments containing 3D shapes that are dependent on one another.
• EWE is the Empirical Wool Environment by Ashley Ward, a Java applet which attempts to communicate EM ideas through a light-hearted illustrative notation for modelling sheep.
• IEME by Allan Wong is the Integrated Empirical Modelling Environment. It is targeted to end users and attempts to support EM principles and offer better application and tool level support.
• JaM is the Java Maintainer by Richard Cartwright - a definition maintainer API written in Java.
• jeden is a proof of concept implementation of Eden in Java by Dominic Gehring, built to test the MoDD API.
• The LSD Engine is a multi-agent modelling environment developed as an alternative approach to software development for reactive systems developed in Moscow under the direction of Valery Adzhiev.
• MoDD is the Maintainer of Dynamic Dependencies by Dominic Gehring - a definition maintainer API written in Java.
• Wing by Allan Wong provides a definitive notation for defining windowing and graphics objects. It has a spreadsheet like user interface that allows users to manipulate definitions interactively.