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 (Editor), E.P. Vink, de (Editor)

Formal System Analysis

Research output: Book/Report › Book editing › Academic

1 Downloads (Pure)

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.

Original language	English
Place of Publication	New York NY
Publisher	Association for Computing Machinery, Inc
Number of pages	353
ISBN (Print)	978-1-4503-2740-4
DOIs	https://doi.org/10.1145/2648511.2648552
Publication status	Published - 2014

Access to Document

10.1145/2648511.2648552

Cite this

@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 -

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

Abstract

Access to Document

Fingerprint

Cite this