Clafer: Lightweight Modeling of Structure and Behaviour

Title Clafer: Lightweight Modeling of Structure and Behaviour
Author
Paulius Juodisius
Atrisha Sarkar
Raghava Mukkamala
Michał Antkiewicz
Krzysztof Czarnecki
Andrzej Wąsowski
Keywords
Behaviour modeling
Feature Modeling
Language Design
Semantics
Variability Modeling
Abstract

Examples models in\ Behavioral Clafer\ are published on Clafer\ Model wiki and summarized on the Clafer blog.\ 
Year of Publication
2018
Journal
The Art, Science, and Engineering of Programming Journal
Volume
3
Start Page
2
Date Published
07/2018
URL
http://programming-journal.org/2019/3/2/
DOI
10.22152/programming-journal.org/2019/3/2
Download citation