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 |