Supporting the Automated Generation of Modular Product Line Safety Cases

André L. Oliveira; Rosana T. V. Braga; Paulo C. Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly

doi:10.1007/978-3-319-19216-1_30

Supporting the Automated Generation of Modular Product Line Safety Cases

André L. Oliveira, Rosana T. V. Braga, Paulo C. Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Theory and Engineering of Complex Systems and Dependability: Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland
Editors	Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk
Place of Publication	Cham
Publisher	Springer
Pages	319-330
Number of pages	12
Volume	365
ISBN (Print)	978-3-319-19216-1
DOIs	https://doi.org/10.1007/978-3-319-19216-1_30
Publication status	Published - 2015

Access to Document

10.1007/978-3-319-19216-1_30

Cite this

Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I., & Kelly, T. (2015). Supporting the Automated Generation of Modular Product Line Safety Cases. In W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, & J. Kacprzyk (Eds.), Theory and Engineering of Complex Systems and Dependability: Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland (Vol. 365, pp. 319-330). Springer. https://doi.org/10.1007/978-3-319-19216-1_30

Oliveira, André L. ; Braga, Rosana T. V. ; Masiero, Paulo C. et al. / Supporting the Automated Generation of Modular Product Line Safety Cases. Theory and Engineering of Complex Systems and Dependability: Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland. editor / Wojciech Zamojski ; Jacek Mazurkiewicz ; Jarosław Sugier ; Tomasz Walkowiak ; Janusz Kacprzyk. Vol. 365 Cham : Springer, 2015. pp. 319-330

@inbook{7b49a44658d0431c803c50eff5beae83,

title = "Supporting the Automated Generation of Modular Product Line Safety Cases",

author = "Oliveira, {Andr{\'e} L.} and Braga, {Rosana T. V.} and Masiero, {Paulo C.} and Yiannis Papadopoulos and Ibrahim Habli and Tim Kelly",

year = "2015",

doi = "10.1007/978-3-319-19216-1_30",

language = "English",

isbn = "978-3-319-19216-1",

volume = "365",

pages = "319--330",

editor = "Wojciech Zamojski and Jacek Mazurkiewicz and Jaros{\l}aw Sugier and Tomasz Walkowiak and Janusz Kacprzyk",

booktitle = "Theory and Engineering of Complex Systems and Dependability: Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brun{\'o}w, Poland",

publisher = "Springer",

address = "Germany",

}

Oliveira, AL, Braga, RTV, Masiero, PC, Papadopoulos, Y, Habli, I & Kelly, T 2015, Supporting the Automated Generation of Modular Product Line Safety Cases. in W Zamojski, J Mazurkiewicz, J Sugier, T Walkowiak & J Kacprzyk (eds), Theory and Engineering of Complex Systems and Dependability: Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland. vol. 365, Springer, Cham, pp. 319-330. https://doi.org/10.1007/978-3-319-19216-1_30

Supporting the Automated Generation of Modular Product Line Safety Cases. / Oliveira, André L.; Braga, Rosana T. V.; Masiero, Paulo C. et al.
Theory and Engineering of Complex Systems and Dependability: Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland. ed. / Wojciech Zamojski; Jacek Mazurkiewicz; Jarosław Sugier; Tomasz Walkowiak; Janusz Kacprzyk. Vol. 365 Cham: Springer, 2015. p. 319-330.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Supporting the Automated Generation of Modular Product Line Safety Cases

AU - Oliveira, André L.

AU - Braga, Rosana T. V.

AU - Masiero, Paulo C.

AU - Papadopoulos, Yiannis

AU - Habli, Ibrahim

AU - Kelly, Tim

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-19216-1_30

DO - 10.1007/978-3-319-19216-1_30

M3 - Chapter

SN - 978-3-319-19216-1

VL - 365

SP - 319

EP - 330

BT - Theory and Engineering of Complex Systems and Dependability: Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland

A2 - Zamojski, Wojciech

A2 - Mazurkiewicz, Jacek

A2 - Sugier, Jarosław

A2 - Walkowiak, Tomasz

A2 - Kacprzyk, Janusz

PB - Springer

CY - Cham

ER -

Oliveira AL, Braga RTV, Masiero PC, Papadopoulos Y, Habli I , Kelly T. Supporting the Automated Generation of Modular Product Line Safety Cases. In Zamojski W, Mazurkiewicz J, Sugier J, Walkowiak T, Kacprzyk J, editors, Theory and Engineering of Complex Systems and Dependability: Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland. Vol. 365. Cham: Springer. 2015. p. 319-330 doi: 10.1007/978-3-319-19216-1_30