Monday, August 1, 2016

Preprint of the ClaferMPS paper is available

by Michał Antkiewicz, Aug 01, 2016

The preprint of the paper 

E. Khalilov, J. Ross, M. Antkiewicz, M. Voelter, and K. Czarnecki, "Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners", ISoLA, 2016

is available for download.

The paper describes features offered by the implementation of Clafer in JetBrains' Meta Programming System (MPS) and how it was used for modeling automotive E/E architectures. 

The paper reflects ClaferMPS version 0.4.3. We are going to release ClaferMPS 0.4.4 soon, which adds exciting new features.


  1. Thank you so much for posting it! It is gonna be very useful for our development team to make our product much much better!

  2. Thanks a lot for sharing this post. I think that I can recommend you this service instead. This guys are really cool at testing. Check them out.