Weckesser, Markus and Lochau, Malte and Ries, Michael and Schürr, Andy (2017):
Towards Complete Consistency Checks of Clafer Models.
pp. 11-20, ACM, Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, ISBN 978-1-4503-5518-6,
DOI: 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: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum