Description

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

11-2006

Comments

© ACM 2006. This is the author's version of the work. It is posted here for your personal use. Not for redistribution.

Source: ACM SIGSOFT First Alloy Workshop. (2006) Portland, Oregon

Document Type

Conference Proceeding

Department, Program, or Center

Software Engineering (GCCIS)

Campus

RIT – Main Campus

Share

COinS