22c:181 Formal Methods in Software Engineering

Tools

This page links to information about the tools and software we will use in the course. Further information is found under the Resources section of this site.

Luke

UML/OCL

Borland Together

Key

Java/Javacard