elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Leveraging Semi-formal Approaches for DepDevOps

Zaeske, Wanja und Durak, Umut (2020) Leveraging Semi-formal Approaches for DepDevOps. In: 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020. SAFECOMP 2020 Workshops, 2020-09-15 - 2020-09-18, Lisbon, Portugal. doi: 10.1007/978-3-030-55583-2_16. ISBN 978-3-030-55582-5. ISSN 0302-9743.

[img] PDF - Nur DLR-intern zugänglich
164kB

Kurzfassung

While formal methods have long been praised by the dependable Cyber-Physical System community, continuous software engineering practices are now employing or promoting semi-formal approaches for achieving lean and agile processes. This paper is a discussion about using Behaviour Driven Development, particularly Gherkin and RSpec for DepDevOps, DevOps for dependable Cyber-Physical Systems.

elib-URL des Eintrags:https://elib.dlr.de/139697/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Leveraging Semi-formal Approaches for DepDevOps
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Zaeske, WanjaTU ClausthalNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Durak, UmutUmut.Durak (at) dlr.dehttps://orcid.org/0000-0002-2928-1710NICHT SPEZIFIZIERT
Datum:2020
Erschienen in:39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Ja
In ISI Web of Science:Nein
DOI:10.1007/978-3-030-55583-2_16
Name der Reihe:Lecture Notes in Computer Science
ISSN:0302-9743
ISBN:978-3-030-55582-5
Status:veröffentlicht
Stichwörter:Semi-formal approaches, Dependable systems, Agile
Veranstaltungstitel:SAFECOMP 2020 Workshops
Veranstaltungsort:Lisbon, Portugal
Veranstaltungsart:internationale Konferenz
Veranstaltungsbeginn:15 September 2020
Veranstaltungsende:18 September 2020
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:Flugzeuge
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L AR - Aircraft Research
DLR - Teilgebiet (Projekt, Vorhaben):L - Konzepte und Integration (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik > Sichere Systeme und System Engineering
Hinterlegt von: Durak, Umut
Hinterlegt am:13 Jan 2021 10:00
Letzte Änderung:24 Apr 2024 20:40

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.