Authors

Michael Lutz

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

2006

Comments

Source: Foundations of Software Engineering, Proceedings of the 3rd international workshop on Software quality assurance Copyright: 2006 ACM (Association for Computing Machinery)

Document Type

Conference Proceeding

Department, Program, or Center

Software Engineering (GCCIS)

Campus

RIT – Main Campus

Share

COinS