We will use the following tools, both installed on our Linux Prism servers:

• EiffelStudio IDE version 17.05 (see details here)
• ESpec unit testing tool (a testing library), part of the EiffelStudio Distribution

You can run EiffelStudio IDE (Integrated Development Environment) or the Eiffel command line compiler (ec) in one of three ways:

1. It is available on the Prism Linux workstations (and on the red compute server). The IDE is invoked from the command line as “estudio17.05”.
2. You may download the SEL Virtual Machine (SEL-VM details) and run it under VirtualBox on your laptop. The VM is the same Linux operating system and environment as the Prism workstation. Login at the site and install the latest build.
3. You may also install EiffelStudio 17.05 on your Windows, Linux or MacOs laptop (download) (ftp://ftp.eiffel.com//pub/download/, login as anonymous).

Note: The Windows version of EiffelStudio is nice to use. But all Labs, Assignments, Projects and Labtests must be submitted and executable on the Prism (Linux) version. Although all versions on the different operating systems are similar there may be some slight differences.