Alloy, Software Engineering, and Undergraduate Education
Michael J. Lutz · RIT Scholar Works (Rochester Institute of Technology) · 2006
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.