Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala +3

Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures and complex control. Consequently, software specification requires mo…