====== SE Lab ====== * Microsoft Office 2013 * Microsoft Visio 2013 * Adobe Acrobat Professional 11 * MikTeX * TexMaker * Visual Studio 2008 * Visual Studio 2013 * Eclipse IDE for Java EE Developers * Python 2 * Python Image Library (Python 2) * Python 3 * MATLAB 2014A * MATLAB 2014A (Classroom) * MATLAB 2015A * MATLAB 2015A (Classroom) * NetBeans IDE * TortoiseSVN * Java SE Development kit Documentation * Alloy * Rodin 3.1 * Rodin 3.2 * JabRef * jSpin * Process Analysis Toolkit (PAT) * CaseComplete * PCMode