The following are lists of the required software for 2012-2013 Term 1. Unless specified, software available on a particular platform will be available both on the lab machines and the terminal servers. These lists are not exhaustive, but specifiy the software required for classes.

Windows

• Office 2010 (Not on Terminal Servers)
• Firefox w/ FireBug
• Adobe Flash Player
• Adobe Reader
• 7-zip
• Java JDK 1.6 (latest)
• Eclipse with UML and C# plugins
• Scratch
• Komposer
• notepad++
• Visual Studio 2010
• mingw
• dbvisualizer
• Actor Foundry
• Powerpoint
• Phidget drivers
• Weka
• PhoneGap
• SVN client
• Visio (Not on Terminal Servers)
• NetBeans
• TXL
• VisCad
• muJava
• JUnit
• ArgoUML
• CCFinderX

Linux

• Firefox
• Java JDK 1.6 (latest)
• Eclipse with UML and C# plugins
• dbvisualizer
• Actor Foundry
• OpenMPI
• ADA/gcc-gnat with examples
• Kroc
• Racket (Scheme)
• OcaML
• Emacs/vi
• Coq (IDE version)
• pdfLaTeX
• SVN client
• NetBeans
• TXL
• VisCad
• muJava
• NiCad
• JUnit
• ArgoUML

Mac

• Firefox
• Java JDK 1.6 (latest)
• Eclipse with UML and C# plugins
• dbvisualizer
• Actor Foundry
• SVN client
• NetBeans
• TXL
• VisCad
• muJava
• NiCad
• JUnit
• ArgoUML
• Android development Environment
• Phone-style (i.e. non-tablet) emulator setup
• Tcl/Tk