CPSGrader: Formal Methods for Lab-Based MOOCs
At PLOOC 2013, we presented some technical challenges for creating a MOOC for “lab-based courses” such as those on Embedded Systems or Robotics. In this talk, we describe the progress we have made since, in teaching such a MOOC, deploying technologies for virtual lab environments, and using formal methods to design an automatic grading and feedback generation system.
Conference DaySun 14 JunDisplayed time zone: Tijuana, Baja California change
14:00 - 15:30
|Functional Programming For All! Scaling a MOOC for Students and Professionals Alike|
|CPSGrader: Formal Methods for Lab-Based MOOCs|