The tools we use in our courses vary based on the programming language and the amount of formal methods being used. On these pages, we list the tools used for courses with Java and C# as their programming languages, as well as some of the emulators we have our students use to play games as domain analysis.