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

Institut für Softwaretechnik und Programmiersprachen

1 Zitat (Scopus)

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.

Originalsprache	Englisch
Titel	2011 15th International Software Product Line Conference
Seitenumfang	1
Herausgeber (Verlag)	IEEE
Erscheinungsdatum	19.10.2011
Seiten	336-336
Aufsatznummer	6030077
ISBN (Print)	978-1-4577-1029-2
DOIs	https://doi.org/10.1109/SPLC.2011.39
Publikationsstatus	Veröffentlicht - 19.10.2011
Veranstaltung	15th International Software Product Line Conference - Munich, Deutschland Dauer: 21.08.2011 → 26.08.2011 Konferenznummer: 86929

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 9 – Industrie, Innovation und Infrastruktur

Dokumente

10.1109/SPLC.2011.39

Weitere Links

https://www.scopus.com/pages/publications/80054052770

Zitieren

@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, S. 336-336, 15th International Software Product Line Conference, Munich, Bayern, Deutschland, 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/pages/publications/80054052770

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 -