Software modeling and measurement: the Goal/Question/Metric paradigm
Software modeling and measurement: the Goal/Question/Metric paradigm
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Introducing practical applications into a computational theory class
Journal of Computing Sciences in Colleges
A visual and interactive automata theory course emphasizing breadth of automata
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
automata theory: its relevance to computer science students and course contents
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Software product lines: a pedagogical application
Journal of Computing Sciences in Colleges
Modeling Software with Finite State Machines
Modeling Software with Finite State Machines
Hi-index | 0.01 |
A widely noted problem in teaching undergraduate theory courses is a lack of student interest related to the perception of theory as being irrelevant and impractical. To counter this we added a programming project that produces working code for a vending machine, an obviously practical problem. The project is based on state machine automata implemented with the SEI's PACC starter kit, which directly maps state machine models, represented in a domain specific language, into executable code. This allows the student to see a direct and obvious mapping between a state machine based design and a functioning product.