Which new features would you like to see in Clafer?

by Michał Antkiewicz

We are thinking of implementing a few new features for Clafer. We opened a poll on the right, above the "Blog Archive". Please vote.

Here's a brief explanation of the features:

Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer

MMath thesis by Alexandr Murashkin

Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer

Abstract

Tutorial on Domain Modeling using Clafer

by Michał Antkiewicz

On Aug 25, 2014, as part of the Domain-Specific Modeling Theory and Practice 2014 Summer School, Michał Antkiewicz presented a 6-hour hands-on tutorial on Domain Modeling using Clafer. This year, the school had a common domain: "Traffic Lights", and it was first modeled and analyzed using Clafer.

The tutorial is in the form of the Clafer Wiki 'Traffic Lights' Domain Model Example. It contains four parts:

• Part 0: Introduction to Domain Engineering (slides)
• Part I: Feature-Oriented Domain Analysis and Modeling
• Part II: Domain Concept Modeling
• Part III: Application Configuration