Clafer: Lightweight Modeling of Structure and Behaviour

TitleClafer: Lightweight Modeling of Structure and Behaviour
Publication TypeJournal Article
Year of Publication2018
AuthorsJuodisius, P., A. Sarkar, R. Rao Mukkamala, M. Antkiewicz, K. Czarnecki, and A. Wąsowski
JournalThe Art, Science, and Engineering of Programming Journal
Volume3
Start Page2
Issue1
Date Published07/2018
KeywordsBehaviour 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

URLhttp://programming-journal.org/2019/3/2/
DOI10.22152/programming-journal.org/2019/3/2
Refereed DesignationRefereed

WISE Lab logo

Opportunities

We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.

For more information, visit Open positions.