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.