At the core of all engineering endeavors is the modeling of proposed system designs and the use of these models to determine system properties. While some models are physical, the vast majority use mathematics to both describe and analyze the consequences of design decisions. In the case of traditional engineering disciplines, most models are based on continuous mathematics, e.g., calculus and differential equations. The situation is quite different in software engineering, however, where the applicable models are more likely to be drawn from discrete mathematics, logic, and set theory. The term of art for such modeling approaches is formal methods.
Date of creation, presentation, or exhibit
Department, Program, or Center
Software Engineering (GCCIS)
Lutz, Michael, "Experiences with alloy in undergraduate formal methods" (2006). Accessed from
RIT – Main Campus