Versenden
Drucken
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, 15-18 September 2020, Lisbon, Portugal. doi: 10.1007/978-3-030-55583-2_16. ISBN 978-3-030-55582-5. ISSN 0302-9743.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
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: |
| ||||||||||||
| 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 | ||||||||||||
| Veranstaltungsdatum: | 15-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: | 17 Nov 2023 07:05 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
