Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)

David Benavides; Martin Leucker; Martin Becker; Rick Rabiser; Karina Villela; Peter Y.H. Wong

doi:10.1109/SPLC.2011.39

Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)

David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y.H. Wong

Institute of Software Engineering and Programming Languages

Abstract

This workshop will bring together researchers interested in raising the efficiency and the effectiveness of Software Product Line Engineering by applying innovative analysis approaches and formal methods.

Original language	English
Title of host publication	2011 15th International Software Product Line Conference
Number of pages	1
Publisher	IEEE
Publication date	19.10.2011
Pages	336-336
Article number	6030077
ISBN (Print)	978-1-4577-1029-2
DOIs	https://doi.org/10.1109/SPLC.2011.39
Publication status	Published - 19.10.2011
Event	15th International Software Product Line Conference - Munich, Germany Duration: 21.08.2011 → 26.08.2011 Conference number: 86929

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1109/SPLC.2011.39

Cite this

@inproceedings{0835dc43dfb84e598b870b483d2daca5,

title = "Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)",

abstract = "This workshop will bring together researchers interested in raising the efficiency and the effectiveness of Software Product Line Engineering by applying innovative analysis approaches and formal methods.",

author = "David Benavides and Martin Leucker and Martin Becker and Rick Rabiser and Karina Villela and Wong, {Peter Y.H.}",

year = "2011",

month = oct,

day = "19",

doi = "10.1109/SPLC.2011.39",

language = "English",

isbn = "978-1-4577-1029-2",

series = "IEEE Proceedings",

publisher = "IEEE",

pages = "336--336",

booktitle = "2011 15th International Software Product Line Conference",

note = "15th International Software Product Line Conference, SPLC 2011 ; Conference date: 21-08-2011 Through 26-08-2011",

}

Benavides, D, Leucker, M, Becker, M, Rabiser, R, Villela, K & Wong, PYH 2011, Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). in 2011 15th International Software Product Line Conference., 6030077, IEEE Proceedings, IEEE, pp. 336-336, 15th International Software Product Line Conference, Munich, Bavaria, Germany, 21.08.11. https://doi.org/10.1109/SPLC.2011.39

TY - GEN

T1 - Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)

AU - Benavides, David

AU - Leucker, Martin

AU - Becker, Martin

AU - Rabiser, Rick

AU - Villela, Karina

AU - Wong, Peter Y.H.

N1 - Conference code: 86929

PY - 2011/10/19

Y1 - 2011/10/19

N2 - This workshop will bring together researchers interested in raising the efficiency and the effectiveness of Software Product Line Engineering by applying innovative analysis approaches and formal methods.

AB - This workshop will bring together researchers interested in raising the efficiency and the effectiveness of Software Product Line Engineering by applying innovative analysis approaches and formal methods.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-80054052770&origin=inward&txGid=92cfaf5fd7ec9f5dada5c332124f3e45

U2 - 10.1109/SPLC.2011.39

DO - 10.1109/SPLC.2011.39

M3 - Conference contribution

SN - 978-1-4577-1029-2

T3 - IEEE Proceedings

SP - 336

EP - 336

BT - 2011 15th International Software Product Line Conference

PB - IEEE

T2 - 15th International Software Product Line Conference

Y2 - 21 August 2011 through 26 August 2011

ER -

Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this