SPLat 2014 : First International Workshop on Software Product Line Analysis Tools

A. Legay; E.P. Vink, de

doi:10.1145/2648511.2648552

SPLat 2014 : First International Workshop on Software Product Line Analysis Tools

A. Legay (Redacteur), E.P. Vink, de (Redacteur)

Formal System Analysis

Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

1 Citaat (Scopus)

1 Downloads (Pure)

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	https://doi.org/10.1145/2648511.2648552
Status	Gepubliceerd - 2014

Toegang tot document

10.1145/2648511.2648552

Vingerafdruk Duik in de onderzoeksthema's van 'SPLat 2014 : First International Workshop on Software Product Line Analysis Tools'. Samen vormen ze een unieke vingerafdruk.

Citeer dit

@book{0d2638f3ac30414ebbc221d9b573eccc,

title = "SPLat 2014 : First International Workshop on Software Product Line Analysis Tools",

abstract = "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.",

editor = "A. Legay and {Vink, de}, E.P.",

year = "2014",

doi = "10.1145/2648511.2648552",

language = "English",

isbn = "978-1-4503-2740-4",

publisher = "Association for Computing Machinery, Inc",

address = "United States",

}

TY - BOOK

T1 - SPLat 2014 : First International Workshop on Software Product Line Analysis Tools

A2 - Legay, A.

A2 - Vink, de, E.P.

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

U2 - 10.1145/2648511.2648552

DO - 10.1145/2648511.2648552

M3 - Book editing

SN - 978-1-4503-2740-4

BT - SPLat 2014 : First International Workshop on Software Product Line Analysis Tools

PB - Association for Computing Machinery, Inc

CY - New York NY

ER -