Abstract state machines and the inquiry process
Document Type
Book Chapter
Publication Date
9-20-2010
Department
Department of Computer Science
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.
Publication Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISBN
978-3-642-15025-8
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