Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy
:
Towards Complete Consistency Checks of Clafer Models.
[Online-Edition: http://doi.acm.org/10.1145/3141848.3141850]
In: Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development.
ACM
[Konferenz- oder Workshop-Beitrag], (2017)
Offizielle URL: http://doi.acm.org/10.1145/3141848.3141850
| Typ des Eintrags: | Konferenz- oder Workshop-Beitrag (Keine Angabe) |
|---|---|
| Erschienen: | 2017 |
| Autor(en): | Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy |
| Titel: | Towards Complete Consistency Checks of Clafer Models |
| Sprache: | Englisch |
| Verlag: | ACM |
| Freie Schlagworte: | Automated Validation, Clafer, Integer Linear Programming |
| Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik 18 Fachbereich Elektrotechnik und Informationstechnik |
| Veranstaltungstitel: | Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development |
| Hinterlegungsdatum: | 13 Dez 2017 09:13 |
| Offizielle URL: | http://doi.acm.org/10.1145/3141848.3141850 |
| Export: |
Optionen (nur für Redakteure)
 |
Eintrag anzeigen |
Drucken
Impressum