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. ACM
[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
Verlag: ACM
Freie Schlagworte: Automated Validation, Clafer, Integer Linear Programming
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik
18 Fachbereich Elektrotechnik und Informationstechnik
Veranstaltungstitel: Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development
Hinterlegungsdatum: 13 Dez 2017 09:13
Offizielle URL: http://doi.acm.org/10.1145/3141848.3141850
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen