The Z notation: a reference manual
The Z notation: a reference manual
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
What not how: the business rules approach to application development
What not how: the business rules approach to application development
Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science)
Enterprise Ontology: Theory and Methodology
Enterprise Ontology: Theory and Methodology
Proceedings of the 2nd International Conference on Teaching Formal Methods
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
A comparative analysis of cognitive tutoring and constraint-based modeling
UM'03 Proceedings of the 9th international conference on User modeling
Ampersand applying relation algebra in practice
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Relational heterogeneity relaxed by subtyping
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Attention please!: learning analytics for visualization and recommendation
Proceedings of the 1st International Conference on Learning Analytics and Knowledge
| Hi-index | 0.00 |
Teaching a formal method to business students can be quite challenging. Even more so, if this happens in a distance learning environment. For this purpose, the authors have developed the Repository for Ampersand Projects (RAP). RAP is a platform for researchers and students, that supports the learning of rule-based design in a formal method called Ampersand. While students perform design exercises in RAP, researchers are collecting measurements about the student's behaviour. RAP was designed to experiment with measurements of student behaviour, for the purpose of studying the didactics of this specific subject. In this paper, the authors demonstrate the practice of RAP by showing how various measurements have led to meaningful hypotheses about student behaviour. With RAP, the authors hope to increase their understanding of teaching formal methods and support students in learning Rule Based Design.