Workshop - modeling software the alloy way

Software engineering educators struggle to make formal design methods both accessible to and meaningful for students; the lack of appropriate engineering tools is especially problematic. One tool that addresses these problems is Alloy from Daniel Jackson´s Software Design Group at MIT. Alloy has a formal mathematical foundation, making it useful for high-level system modeling, and for exploring the consequences of design decisions. This workshop will focus on using Alloy to teach formal modeling. While the workshop will partly tutorial, the goal is to help computing educators develop the skills, knowledge, and motivation to use Alloy in software engineering classes.