Conference Session

Software Engineering Teaching Methods and Practice

Collection

2006 Annual Conference & Exposition

Authors

Eric Durant, Milwaukee School of Engineering

Tagged Divisions

Software Engineering Constituent Committee

2006-750: COMBINING REQUIREMENTS AND INTERDISCIPLINARY WORKEric Durant, Milwaukee School of Engineering Eric Durant (M’02) is an Assistant Professor in the Electrical Engineering and Computer Science Department at Milwaukee School of Engineering (MSOE). He did his graduate studies at the University of Michigan, receiving the PhD degree in 2002. He teaches courses in both computer and software engineering and does consulting work involving signal processing, genetic algorithms, and hearing aid algorithms. Page 11.332.1© American Society for Engineering Education, 2006 Combining

Conference Session

Tools and Support for Software Education

Collection

2006 Annual Conference & Exposition

Authors

Michael Lutz, Rochester Institute of Technology

Tagged Divisions

Software Engineering Constituent Committee

who teach this material,and that they will consider adopting Alloy or a similar tool. After all, if we are to place softwareengineering on a firm mathematical foundation, we must do so in a way that makes this useful to Page 11.616.6practicing engineers. To my mind, Alloy is a step in this direction.Bibliography1. Jeff Magee and Jeff Kramer. Concurrency: State Models & Java Programs. John Wiley & Sons, 1999.2. Michael Lutz and James Vallino. “Concurrent System Design: Applied Mathematics & Modeling in Software Engineering Education.” 2005 ASEE Annual Conference and Exposition, June, 2005.3. Daniel Jackson. “Alloy: A