The importance of ignorance in requirements engineering
Journal of Systems and Software
User-centered technology: a rhetorical theory for computers and other mundane artifacts
User-centered technology: a rhetorical theory for computers and other mundane artifacts
Specification and verification of pipelining in the ARM2 RISC microprocessor
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Why Use Evolving Algebras for Hardware and Software Engineering?
SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
Investigating Java Concurrency Using Abstract State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
The Semantics of the C Programming Language
CSL '92 Selected Papers from the Workshop on Computer Science Logic
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Human Problem Solving
Journal on Educational Resources in Computing (JERIC)
Instruction in Problem Structuring and Analysis Through Problem Frames
CSEET '06 Proceedings of the 19th Conference on Software Engineering Education & Training
Addressing Communication Issues in Software Development: A Case Study Approach
CSEET '07 Proceedings of the 20th Conference on Software Engineering Education & Training
The decision pattern: capturing and communicating design intent
SIGDOC '07 Proceedings of the 25th annual ACM international conference on Design of communication
Rationale-Based Software Engineering
Rationale-Based Software Engineering
| Hi-index | 0.00 |
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.