"Abstract State Machines and the Inquiry Process" by James Huggins and Charles Wallace
 

Title

Abstract State Machines and the Inquiry Process

Document Type

Contribution to Book

Publication Date

2010

Publication Title

Fields of Logic and Computation

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.

Volume

6300

First Page

405

Last Page

413

DOI

10.1007/978-3-642-15025-8_19

Comments

Print ISBN: 978-3-642-15024-1

Online ISBN: 978-3-642-15025-8

Rights

© Springer-Verlag Berlin Heidelberg 2010

Share

COinS