TY - CHAP
T1 - Abstract State Machines and the Inquiry Process
AU - Huggins, James
AU - Wallace, Charles
PY - 2010/1/1
Y1 - 2010/1/1
N2 - 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.
AB - 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.
KW - Formal Methids
KW - Software Requirements
KW - Education
KW - Refinement
KW - Inquiry
UR - https://digitalcommons.kettering.edu/computerscience_facultypubs/12
UR - https://dalnet-ku.primo.exlibrisgroup.com/permalink/01DAL_KU/f5458l/cdi_springer_books_10_1007_978_3_642_15025_8_19
U2 - 10.1007/978-3-642-15025-8_19
DO - 10.1007/978-3-642-15025-8_19
M3 - Chapter
BT - Fields of Logic and Computation
ER -