VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction

¹; Kodetzki, Maximilian

; Runge, Tobias ¹; Schaefer, Ina

¹
¹ Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)

Verlagsausgabe

DOI: 10.5445/IR/1000158023

Veröffentlicht am 12.10.2023

Originalveröffentlichung
DOI: 10.1007/978-3-031-26236-4_13

Scopus
Zitationen: 1

Dimensions
Zitationen: 1

Seitenaufrufe: 101
seit 20.04.2023

Downloads: 33
seit 28.10.2023

Zugehörige Institution(en) am KIT	Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp	Proceedingsbeitrag
Publikationsjahr	2023
Sprache	Englisch
Identifikator	ISBN: 978-3-031-26236-4 ISSN: 0302-9743, 1611-3349 KITopen-ID: 1000158023
Erschienen in	Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops – AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers. Ed.: P. Masci
Veranstaltung	20th International Conference on Software Engineering and Formal Methods (SEFM 2022), Berlin, Deutschland, 26.09.2022 – 30.09.2022
Verlag	Springer International Publishing
Seiten	156–163
Serie	Lecture Notes in Computer Science (LNCS) ; 13765
Vorab online veröffentlicht am	11.02.2023
Nachgewiesen in	Dimensions Scopus