elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Leveraging Semi-formal Approaches for DepDevOps

Zaeske, Wanja and Durak, Umut (2020) Leveraging Semi-formal Approaches for DepDevOps. SAFECOMP 2020 Workshops, 15-18 September 2020, Lisbon, Portugal. doi: 10.1007/978-3-030-55583-2_16.

[img] PDF - Only accessible within DLR
164kB

Abstract

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.

Item URL in elib:https://elib.dlr.de/139697/
Document Type:Conference or Workshop Item (Speech)
Title:Leveraging Semi-formal Approaches for DepDevOps
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Zaeske, WanjaTU ClausthalUNSPECIFIED
Durak, UmutUmut.Durak (at) dlr.dehttps://orcid.org/0000-0002-2928-1710
Date:2020
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
DOI :10.1007/978-3-030-55583-2_16
Status:Published
Keywords:Semi-formal approaches, Dependable systems, Agile
Event Title:SAFECOMP 2020 Workshops
Event Location:Lisbon, Portugal
Event Type:international Conference
Event Dates:15-18 September 2020
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:fixed-wing aircraft
DLR - Research area:Aeronautics
DLR - Program:L AR - Aircraft Research
DLR - Research theme (Project):L - Concepts and Integration (old)
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Safety Critical Systems&Systems Engineering
Deposited By: Durak, Umut
Deposited On:13 Jan 2021 10:00
Last Modified:13 Jan 2021 10:00

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.