Weckesser, Markus and Lochau, Malte and Ries, Michael and Schürr, Andy (2017):
Towards Complete Consistency Checks of Clafer Models.
ACM, In: Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, ISBN 978-1-4503-5518-6,
DOI: 10.1145/3141848.3141850, [Online-Edition: http://doi.acm.org/10.1145/3141848.3141850],
[Conference or Workshop Item]
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 |
| ISBN: | 978-1-4503-5518-6 |
| 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 |
Drucken
Impressum