RIT's undergraduate software engineering program has a strong emphasis on design, including formal mathematical modeling. However students (and professional software engineers) are skeptical about the use of mathematical models in their day-to-day work. Alloy has proven to be successful in addressing some of this skepticism, but further work is needed to make formal modeling a normin software development.
Date of creation, presentation, or exhibit
Department, Program, or Center
Software Engineering (GCCIS)
Lutz, Michael, "Alloy, software engineering, and undergraduate education" (2006). Accessed from
RIT – Main Campus