Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems

Andrew Edmunds, Marta Olszewska, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016)
Redaktörer	H Kaindl, R Meli
Förlag	Iaria xps press
Sidor	1–9
ISBN (tryckt)	978-1-61208-458-9
Status	Publicerad - 2016
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Conference on Advances and Trends in Software Engineering (SOFTENG) - The Second International Conference on Advances and Trends in Software Engineering SOFTENG 2016 Varaktighet: 21 feb. 2016 → 25 feb. 2016

Konferens	International Conference on Advances and Trends in Software Engineering (SOFTENG)
Period	21/02/16 → 25/02/16

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{d115646969154f5fb8951add7cf934c3,

title = "Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems",

author = "Andrew Edmunds and Marta Olszewska and Marina Walden",

year = "2016",

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

isbn = "978-1-61208-458-9",

pages = "1–9",

editor = "H Kaindl and R Meli",

booktitle = "Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016)",

publisher = "Iaria xps press",

note = "International Conference on Advances and Trends in Software Engineering (SOFTENG) ; Conference date: 21-02-2016 Through 25-02-2016",

}

Edmunds, A, Olszewska, M & Walden, M 2016, Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems. i H Kaindl & R Meli (red), Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016). Iaria xps press, s. 1–9, International Conference on Advances and Trends in Software Engineering (SOFTENG), 21/02/16.

Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems. / Edmunds, Andrew; Olszewska, Marta; Walden, Marina.
Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016). red. / H Kaindl; R Meli. Iaria xps press, 2016. s. 1–9.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

TY - GEN

T1 - Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems

AU - Edmunds, Andrew

AU - Olszewska, Marta

AU - Walden, Marina

PY - 2016

Y1 - 2016

M3 - Konferensbidrag

SN - 978-1-61208-458-9

SP - 1

EP - 9

BT - Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016)

A2 - Kaindl, H

A2 - Meli, R

PB - Iaria xps press

T2 - International Conference on Advances and Trends in Software Engineering (SOFTENG)

Y2 - 21 February 2016 through 25 February 2016

ER -