luigiapetre / Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods
32 stars 4 forks source link

Rule Based Design #41

Open luigiapetre opened 5 years ago

luigiapetre commented 5 years ago

Course code, if applicable: University hosting the course: Open University of the Netherlands Contact person: Stef Joosten, stef.joosten@ou.nl Concepts taught: Specify an information system by means of constraints on a data space built up of relations. Tools used: Ampersand (the tool) Webpage: https://www.ou.nl/-/IM0403_Rule-Based-Design