DevOps Meets Formal Modelling in High-Criticality Complex Systems

Marta Olszewska; Marina Walden

doi:10.1145/2804371.2804373

DevOps Meets Formal Modelling in High-Criticality Complex Systems

Marta Olszewska
, Marina Walden

Informaatioteknologia

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

21 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	QUDOS 2015 Proceedings of the 1st International Workshop on Quality-Aware DevOps
Toimittajat	D Ardagna, A Brunnert, G Casale, A Hoorn
Kustantaja	ACM
Sivut	7–12
ISBN (painettu)	978-1-4503-3817-2
DOI - pysyväislinkit	https://doi.org/10.1145/2804371.2804373
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Workshop on Quality-Aware DevOps QUDOS - 1st International Workshop on Quality-Aware DevOps QUDOS 2015 Kesto: 1 syysk. 2015 → …

Konferenssi

Konferenssi	International Workshop on Quality-Aware DevOps QUDOS
Ajanjakso	01/09/15 → …

Pääsy asiakirjaan

10.1145/2804371.2804373

1 Päättynyt

ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Vastuullinen tutkija), Olszewska, M. (CoI), Edmunds, A. (CoI), Ostroumov, S. (CoI), Petre, L. (CoI), Boström, P. (CoI) & Neovius, M. (CoI)
01/09/13 → 31/08/17
Projekti: Research Council of Finland/Other Research Councils

Viittausmuodot

@inproceedings{64b39158836e45cfaffa9c837ef9f1d3,

title = "DevOps Meets Formal Modelling in High-Criticality Complex Systems",

author = "Marta Olszewska and Marina Walden",

note = "co-located with the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015); International Workshop on Quality-Aware DevOps QUDOS ; Conference date: 01-09-2015",

year = "2015",

doi = "10.1145/2804371.2804373",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-1-4503-3817-2",

pages = "7–12",

editor = "D Ardagna and A Brunnert and G Casale and A Hoorn",

booktitle = "QUDOS 2015 Proceedings of the 1st International Workshop on Quality-Aware DevOps",

publisher = "ACM",

}

DevOps Meets Formal Modelling in High-Criticality Complex Systems. / Olszewska, Marta; Walden, Marina.
QUDOS 2015 Proceedings of the 1st International Workshop on Quality-Aware DevOps. toim. / D Ardagna; A Brunnert; G Casale; A Hoorn. ACM, 2015. s. 7–12.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - DevOps Meets Formal Modelling in High-Criticality Complex Systems

AU - Olszewska, Marta

AU - Walden, Marina

N1 - co-located with the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015)

PY - 2015

Y1 - 2015

U2 - 10.1145/2804371.2804373

DO - 10.1145/2804371.2804373

M3 - Publicerad konferensartikel

SN - 978-1-4503-3817-2

SP - 7

EP - 12

BT - QUDOS 2015 Proceedings of the 1st International Workshop on Quality-Aware DevOps

A2 - Ardagna, D

A2 - Brunnert, A

A2 - Casale, G

A2 - Hoorn, A

PB - ACM

T2 - International Workshop on Quality-Aware DevOps QUDOS

Y2 - 1 September 2015

ER -

DevOps Meets Formal Modelling in High-Criticality Complex Systems

Konferenssi

Pääsy asiakirjaan

Projektit

ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)

Viittausmuodot