This tutorial explores a way to motivate students for relation algebras by applying it in software engineering. Participants will get hands-on experience with Ampersand [1], which is a compiler that transforms a specification in relation algebra in working software. They will be directed to the documentation site [2] for more precise information about the language and tools. This tutorial starts with a motivation: Why might working with Ampersand motivate students for relation algebra? Then the participants will create an information system online, just like students do in the course Rule Based Design [3]. For this purpose we ask participants to bring their laptops. The presentation proceeds by pointing out which learning points are relevant in the tutorial. It finalizes by giving an overview in the available materials and tools. All materials are freely available in open source, so participants can take it to their own classrooms. Professors who want to use these materials are cordially invited to partake in the further development.
展开▼