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)
Michael J. Lutz. 2006. Alloy, software engineering, and undergraduate education. ACM SIGSOFT First Alloy Workshop. Portland, Oregon
RIT – Main Campus