Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.
The Telematics Example
This page contains the telematics example introduced in our technical report Feature and Class Models in Clafer: Mixed, Specialized, and Coupled.
The example is also available on the Clafer Model Wiki.
| Attachment | Size |
|---|---|
| telematics.tar.gz | 151.05 KB |
