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, New York, NY, USA. In: FOSD 2017 . ACM , New York, NY, USA
[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
Series Name: FOSD 2017
Place of Publication: New York, NY, USA
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
DFG-Collaborative Research Centres (incl. Transregio)
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet > A: Construction Methodology
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet > A: Construction Methodology > Subproject A4: Self-Adaptation
Event Title: Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development
Event Location: New York, NY, USA
Date Deposited: 15 Mar 2018 13:49
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