TU | ULB | News | Service | Recherche | Subjects | Collections | A-Z | Contact |

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.
In: FOSD 2017, New York, NY, USA, ACM, In: Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, New York, NY, USA, pp. 11-20, 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
Series Name: FOSD 2017
Place of Publication: New York, NY, USA
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
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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details
OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.
Drucken | Impressum | Datenschutzerklärung