SPLat 2015 Second international workshop on software product line analysis tools

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Résumé

SPLat 2015 workshop aims to provide a forum where various approaches to formal analysis and testing of variabilityintensive systems can be presented, evaluated and discussed. In particular, the workshop tries to identify commonalities and variabilities regarding the choice of underlying concepts that capture variability as well as strengths and weaknesses of approaches in their effort to defeat combinatorial explosion. The long term goal of the workshop is to provide guidance to practitioners on where and when to use the aforementioned techniques while validating variability-intensive systems.

langue originaleAnglais
titreProceedings - 19th International Software Product Line Conference, SPLC 2015
EditeurACM Press
Pages395-395
Nombre de pages1
Volume20-24-July-2015
ISBN (Electronique)9781450336130
Les DOIs
étatPublié - 20 juil. 2015
Evénement19th International Software Product Line Conference, SPLC 2015 - Nashville, États-Unis
Durée: 20 juil. 201524 juil. 2015

Une conférence

Une conférence19th International Software Product Line Conference, SPLC 2015
PaysÉtats-Unis
La villeNashville
période20/07/1524/07/15

Empreinte digitale

Explosions
Testing

Citer ceci

Perrouin, G., & Legay, A. (2015). SPLat 2015 Second international workshop on software product line analysis tools. Dans Proceedings - 19th International Software Product Line Conference, SPLC 2015 (Vol 20-24-July-2015, p. 395-395). ACM Press. https://doi.org/10.1145/2791060.2791064
Perrouin, Gilles ; Legay, Axel. / SPLat 2015 Second international workshop on software product line analysis tools. Proceedings - 19th International Software Product Line Conference, SPLC 2015. Vol 20-24-July-2015 ACM Press, 2015. p. 395-395
@inproceedings{55d3663f697f41d4b3950e72da5689d8,
title = "SPLat 2015 Second international workshop on software product line analysis tools",
abstract = "SPLat 2015 workshop aims to provide a forum where various approaches to formal analysis and testing of variabilityintensive systems can be presented, evaluated and discussed. In particular, the workshop tries to identify commonalities and variabilities regarding the choice of underlying concepts that capture variability as well as strengths and weaknesses of approaches in their effort to defeat combinatorial explosion. The long term goal of the workshop is to provide guidance to practitioners on where and when to use the aforementioned techniques while validating variability-intensive systems.",
keywords = "Analysis, Software product lines, Testing, Validation, Variability, Verification",
author = "Gilles Perrouin and Axel Legay",
year = "2015",
month = "7",
day = "20",
doi = "10.1145/2791060.2791064",
language = "English",
volume = "20-24-July-2015",
pages = "395--395",
booktitle = "Proceedings - 19th International Software Product Line Conference, SPLC 2015",
publisher = "ACM Press",
address = "United States",

}

Perrouin, G & Legay, A 2015, SPLat 2015 Second international workshop on software product line analysis tools. Dans Proceedings - 19th International Software Product Line Conference, SPLC 2015. VOL. 20-24-July-2015, ACM Press, p. 395-395, 19th International Software Product Line Conference, SPLC 2015, Nashville, États-Unis, 20/07/15. https://doi.org/10.1145/2791060.2791064

SPLat 2015 Second international workshop on software product line analysis tools. / Perrouin, Gilles; Legay, Axel.

Proceedings - 19th International Software Product Line Conference, SPLC 2015. Vol 20-24-July-2015 ACM Press, 2015. p. 395-395.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

TY - GEN

T1 - SPLat 2015 Second international workshop on software product line analysis tools

AU - Perrouin, Gilles

AU - Legay, Axel

PY - 2015/7/20

Y1 - 2015/7/20

N2 - SPLat 2015 workshop aims to provide a forum where various approaches to formal analysis and testing of variabilityintensive systems can be presented, evaluated and discussed. In particular, the workshop tries to identify commonalities and variabilities regarding the choice of underlying concepts that capture variability as well as strengths and weaknesses of approaches in their effort to defeat combinatorial explosion. The long term goal of the workshop is to provide guidance to practitioners on where and when to use the aforementioned techniques while validating variability-intensive systems.

AB - SPLat 2015 workshop aims to provide a forum where various approaches to formal analysis and testing of variabilityintensive systems can be presented, evaluated and discussed. In particular, the workshop tries to identify commonalities and variabilities regarding the choice of underlying concepts that capture variability as well as strengths and weaknesses of approaches in their effort to defeat combinatorial explosion. The long term goal of the workshop is to provide guidance to practitioners on where and when to use the aforementioned techniques while validating variability-intensive systems.

KW - Analysis

KW - Software product lines

KW - Testing

KW - Validation

KW - Variability

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=84980419019&partnerID=8YFLogxK

U2 - 10.1145/2791060.2791064

DO - 10.1145/2791060.2791064

M3 - Conference contribution

VL - 20-24-July-2015

SP - 395

EP - 395

BT - Proceedings - 19th International Software Product Line Conference, SPLC 2015

PB - ACM Press

ER -

Perrouin G, Legay A. SPLat 2015 Second international workshop on software product line analysis tools. Dans Proceedings - 19th International Software Product Line Conference, SPLC 2015. Vol 20-24-July-2015. ACM Press. 2015. p. 395-395 https://doi.org/10.1145/2791060.2791064