Teaching ASMs, teaching with ASMs: Opportunities in undergraduate education

Authors

James Huggins, Kettering University
Jean Mayo, Michigan Technological UniversityFollow
Charles Wallace, Michigan Technological UniversityFollow

Document Type

Conference Proceeding

Publication Date

3-14-2003

Department

Department of Computer Science

Abstract

Do people truly find ASMs easy to understand and use? As educators, we are particularly interested in how readily this new technology transfers to the classroom. Furthermore, we would like to take it beyond courses like software engineering, where formal methods are commonly encountered, and extend it to other areas. As many experts have pointed out, the only way in which advanced software engineering tools and methods can make headway into popular software design is if they are woven into the fabric of traditional computer science courses. We report on our current work in bringing ASMs to the classroom.

Publisher's Statement

© Springer-Verlag Berlin Heidelberg 2003. Publisher’s version of record: https://doi.org/10.1007/3-540-36498-6_28

Publication Title

International Workshop on Abstract State Machines

ISBN

978-3-540-00624-4

Recommended Citation

Huggins, J., Mayo, J., & Wallace, C. (2003). Teaching ASMs, teaching with ASMs: Opportunities in undergraduate education. International Workshop on Abstract State Machines, 414-414. http://doi.org/10.1007/3-540-36498-6_28
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/712