Title
Abstract state machines and the inquiry process
Document Type
Conference Proceeding
Publication Date
9-20-2010
Abstract
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.
Publication Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Recommended Citation
Huggins, J.,
&
Wallace, C.
(2010).
Abstract state machines and the inquiry process.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
6300 LNCS, 405-413.
http://doi.org/10.1007/978-3-642-15025-8_19
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/4179