Experiences with alloy in undergraduate formal methods

Show full item record

Redirect: RIT Scholars content from RIT Digital Media Library has moved from http://ritdml.rit.edu/handle/1850/7595 to RIT Scholar Works http://scholarworks.rit.edu/other/14, please update your feeds & links!
Title: Experiences with alloy in undergraduate formal methods
Author: Lutz, Michael
Abstract: 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.
Description: Event: 2006 ASEE Annual Conference & Exposition Location: Chicago, IL Date: June 18-21, 2006
Record URI: http://hdl.handle.net/1850/7595
Date: 2006

Files in this item

Files Size Format View
MLutzConfProc06-18-2006.pdf 58.43Kb 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