Clafer: Lightweight Modeling Language

  by  Michał Antkiewicz , Sep 12, 2023 This is mostly a maintenance release bringing compatibility with the current Haskell compiler, tools,...

by  Michał Antkiewicz , Jan 6, 2019 Our new paper " Clafer: Lightweight Modeling of Structure, Behaviour, and Variability " has ...

by  Michał Antkiewicz , Sep 18, 2018 Our paper  "Clafer: unifying class and feature modeling" can now be accessed freely via Spr...

by  Michał Antkiewicz , May 08, 2018 Clafer Model Wiki contains a few example models showcasing behavioral Clafer. TrafficLight . A simp...

by  Michał Antkiewicz , Jan 31, 2018 This release contains only the Clafer compiler 0.5.0, which now includes support for modeling behavio...

by  Michał Antkiewicz , Sep 22, 2017 Our paper " Synthesis and exploration of multi-level, multi-perspective architectures of automot...

by  Michał Antkiewicz , Sep 18, 2017 Today, prof. Andrzej Wąsowski (IT University of Copenhagen) delivered a 3.5h tutorial entitled "...

by  Michał Antkiewicz , Mar 21, 2017 Behavioral Clafer was finally merged into develop , which means it will be part of the next release: ...

by  Michał Antkiewicz , Mar 13, 2017 This is mainly a maintenance release. Clafer compiler , release  pull request  (0.4.5). compatibi...

by  Michał Antkiewicz , Jan 23, 2017 Eldar Khalilov's Masters thesis about ClaferMPS is now available for download: ClaferMPS: Model...