Alloy, software engineering, and undergraduate education

Show full item record

Redirect: RIT Scholars content from RIT Digital Media Library has moved from to RIT Scholar Works, please update your feeds & links!
Title: Alloy, software engineering, and undergraduate education
Author: Lutz, Michael
Abstract: 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.
Description: Source: Foundations of Software Engineering, Proceedings of the 3rd international workshop on Software quality assurance Copyright: 2006 ACM
Record URI:
Date: 2006

Files in this item

Files Size Format View
MLutzArticle11-2006.pdf 21.69Kb PDF View/Open

The following license files are associated with this item:

This item appears in the following Collection(s)

Show full item record

Search RIT DML

Advanced Search