Lehrstuhl für Computergestütztes Planen in der Architektur
Fakultät für Architektur / RWTH Aachen

The Truth Is In The Model

(Utilizing Model Checking to Rate Learning Success in BIM Software Courses)

Autoren: Dieckmann, Andreas; Russell, Peter (Dieckmann Russell )
Erschienen in: Proceedings of the 32nd eCAADe Conference
Seiten: 417-426
Ort: Newcastle upon Tyne
Land: Großbritannien
Jahr: 2014

Zugehörige Forschungsprojekte



Model checking is one of the core methodologies of Building Information Modelling (BIM). It allows us to quickly evaluate models based on custom criteria. While there are known examples of the integration of model checking into the course content of design studios, there is no literature on utilizing this methodology to help in the grading process of BIM software courses. This paper presents a project that applies model checking to the task of rating the learning success of students in such a course. The main project goals were increasing the objectivity of the ratings and reducing the time necessary to process a large number of submitted models. The paper describes a possible approach to categorizing and organizing model checks in an educational context and outlines a proven and tested workflow for automating the rating and feedback process.