TU Darmstadt / ULB / TUbiblio

Towards Complete Consistency Checks of Clafer Models

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 View Item