Weckesser, Markus and Lochau, Malte and Ries, Michael and 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
[Conference or Workshop Item]
, (2017)
Official URL: http://doi.acm.org/10.1145/3141848.3141850
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2017 |
| Creators: | Weckesser, Markus and Lochau, Malte and Ries, Michael and Schürr, Andy |
| Title: | Towards Complete Consistency Checks of Clafer Models |
| Language: | English |
| Publisher: | ACM |
| Uncontrolled Keywords: | Automated Validation, Clafer, Integer Linear Programming |
| Divisions: | 18 Department of Electrical Engineering and Information Technology 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering |
| Event Title: | Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development |
| Date Deposited: | 13 Dec 2017 09:13 |
| DOI: | 10.1145/3141848.3141850 |
| Official URL: | http://doi.acm.org/10.1145/3141848.3141850 |
| Export: |
Optionen (nur für Redakteure)
 |
View Item |
Print
Impressum