Required software for this class includes [[u:LogicWorks]] and [[u:WinCupl]]. [[Microsoft Word ]] templates are provided for most assignments, however [[LaTeX]] offers prettier and more powerful typesetting.