TU Darmstadt / ULB / TUbiblio

Towards Complete Consistency Checks of Clafer Models

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]

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