Abstract State Machines have long played a valuable role as a catalyst for inquiry into software problems. In the ASM literature, however, there is a tendency to omit reflection on the process of ASM-based design and analysis, focusing instead on final, complete ASM products. As educators, we believe it is important to expose our students to a full, explicit process of inquiry, using ASMs as a vehicle to motivate active questioning. We report on our experiences in bringing ASM-based inquiry to the classroom. A course plan that combines ASMs and Problem Frames has proved effective in eliciting critical inquiry among students. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Huggins, J. K., & Wallace, C. (2010). Abstract state machines and the inquiry process. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6300 LNCS, pp. 405–413). https://doi.org/10.1007/978-3-642-15025-8_19
Mendeley helps you to discover research relevant for your work.