Friday, May 13, 2016

New automotive case studies in Clafer

by Michał Antkiewicz, May 12, 2016

We published a few new automotive body domain case studies in a GitHub repository 'ClaferCaseStudies'.

Previously, the repository contained the original Power Window case study presented in Alexandr Murashkin's Master's thesis. Now, we added two new case studies by Jordan Ross: extended Power Window and Central Door Locks. More details in the README and the accompanying technical report.

Additionally, we reimplemented the Power Window and Central Door Locks case studies in ClaferMPS. The MPS solutions are contained in MPS/Automotive/BodyDomain. We are in the process of releasing ClaferMPS and a separate announcement will follow.


  1. When it comes to building academic writing skills for ESL college students in the mainstream, teachers will be doing their college students a huge service when teachers are able to build literary connections to the writing skills and concepts they wish their students to learn. Teachers cannot assume that their ESL students understand abstract concepts as well as their native English speaking peers due to the gap in their background knowledge.academic writing