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

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

21 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	QUDOS 2015 Proceedings of the 1st International Workshop on Quality-Aware DevOps
Redaktörer	D Ardagna, A Brunnert, G Casale, A Hoorn
Förlag	ACM
Sidor	7–12
ISBN (tryckt)	978-1-4503-3817-2
DOI	https://doi.org/10.1145/2804371.2804373
Status	Publicerad - 2015
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Workshop on Quality-Aware DevOps QUDOS - 1st International Workshop on Quality-Aware DevOps QUDOS 2015 Varaktighet: 1 sep. 2015 → …

Konferens

Konferens	International Workshop on Quality-Aware DevOps QUDOS
Period	01/09/15 → …

Åtkomst av dokument

10.1145/2804371.2804373

ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Ansvarig forskare), 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
Projekt: Finlands Akademi/Övriga Forskningsråd

Citera det här

@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",

}

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

Konferens

Åtkomst av dokument

Projekt

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

Citera det här