TU Darmstadt / ULB / TUbiblio

Towards Complete Consistency Checks of Clafer Models

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; 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
[Konferenz- oder Workshop-Beitrag], (2017)

Offizielle URL: http://doi.acm.org/10.1145/3141848.3141850
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2017
Autor(en): Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy
Titel: Towards Complete Consistency Checks of Clafer Models
Sprache: Englisch
Reihe: FOSD 2017
Ort: New York, NY, USA
Verlag: ACM
Freie Schlagworte: Automated Validation, Clafer, Integer Linear Programming
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik
DFG-Sonderforschungsbereiche (inkl. Transregio)
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet > A: Konstruktionsmethodik
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet > A: Konstruktionsmethodik > Teilprojekt A4: Selbst-Adaption
Veranstaltungstitel: Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development
Veranstaltungsort: New York, NY, USA
Hinterlegungsdatum: 15 Mär 2018 13:49
DOI: 10.1145/3141848.3141850
Offizielle URL: http://doi.acm.org/10.1145/3141848.3141850
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen