CSERC: Teaching with RAP

Teaching a formal method to business students can be quite challenging. For this purpose, the authors have developed RAP, a platform for researchers and students that supports the learning of rule‐based design in a formal method called Ampersand. Students perform design exercises in RAP, and researchers can collect measurements on the student’s behavior. RAP was designed to experiment with measurements of student behavior, for the purpose of studying the didactics of this specific subject.
In this presentation, the authors demonstrated the practice of RAP by showing how various measurements have led to meaningful hypotheses about student behavior. With RAP, the authors/presenters hope to increase their understanding of teaching formal methods and support students with design exercises.