Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education

James Huggins, Jean Mayo, Charles Wallace

Research output: Contribution to conferencePresentation

Abstract

Do people truly find ASMs easy to understand and use? As educators, we are particularly interested in how readily this new technology transfers to the classroom. Furthermore, we would like to take it beyond courses like software engineering, where formal methods are commonly encountered, and extend it to other areas. As many experts have pointed out, the only way in which advanced software engineering tools and methods can make headway into popular software design is if they are woven into the fabric of traditional computer science courses. We report on our current work in bringing ASMs to the classroom.

Original languageAmerican English
StatePublished - Mar 14 2003
EventAbstract State Machines 2003 -
Duration: Mar 14 2003 → …

Conference

ConferenceAbstract State Machines 2003
Period3/14/03 → …

Keywords

  • ASM
  • Technology Transfer
  • Software Engineering
  • Problem Frame
  • Engineering Curriculum

Disciplines

  • Computer Sciences
  • Curriculum and Instruction
  • Educational Methods

Cite this