Samenvatting
The SPLat 2014 workshop aims to provide a platform for the presentation and positioning of formal analysis tools as used in Software Product Line Engineering for the identification of commonalities and differences of these tools as well as for the inventorying of challenges for their application. SPLat 2014 focuses on the underlying concepts and overall approach, in particular how to mitigate combinatorial explosion.
Originele taal-2 | Engels |
---|---|
Plaats van productie | New York NY |
Uitgeverij | Association for Computing Machinery, Inc |
Aantal pagina's | 353 |
ISBN van geprinte versie | 978-1-4503-2740-4 |
DOI's | |
Status | Gepubliceerd - 2014 |