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

TUbiblio

ULB

TUbiblio

Login

Deutsch

Clear Cookie - decide language by browser settings

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

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

Print |

Impressum |