Description
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
2006
Document Type
Conference Paper
Department, Program, or Center
Software Engineering (GCCIS)
Recommended Citation
Lutz, Michael, "Experiences with alloy in undergraduate formal methods" (2006). Accessed from
https://repository.rit.edu/other/14
Campus
RIT – Main Campus
Comments
Event: 2006 ASEE (American Society for Engineering Education) Annual Conference & Exposition Location: Chicago, IL Date: June 18-21, 2006