Towards Complete Consistency Checks of Clafer Models

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy (2017)
Towards Complete Consistency Checks of Clafer Models.
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development. New York, NY, USA
doi: 10.1145/3141848.3141850
Konferenzveröffentlichung, Bibliographie

URL / URN: http://doi.acm.org/10.1145/3141848.3141850

Typ des Eintrags:	Konferenzveröffentlichung
Erschienen:	2017
Autor(en):	Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy
Art des Eintrags:	Bibliographie
Titel:	Towards Complete Consistency Checks of Clafer Models
Sprache:	Englisch
Publikationsjahr:	2017
Ort:	New York, NY, USA
Verlag:	ACM
Reihe:	FOSD 2017
Veranstaltungstitel:	Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development
Veranstaltungsort:	New York, NY, USA
DOI:	10.1145/3141848.3141850
URL / URN:	http://doi.acm.org/10.1145/3141848.3141850
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
Hinterlegungsdatum:	15 Mär 2018 13:49
Letzte Änderung:	03 Jun 2018 21:29
PPN:
Export:

Suche nach Titel in:	TUfind oder in Google

Frage zum Eintrag

Optionen (nur für Redakteure)

Redaktionelle Details anzeigen

OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.

Drucken |

Impressum |

Datenschutzerklärung