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

Andrew Edmunds, Marta Olszewska, Marina Walden

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016)
Editors	H Kaindl, R Meli
Publisher	Iaria xps press
Pages	1–9
ISBN (Print)	978-1-61208-458-9
Publication status	Published - 2016
MoE publication type	A4 Article in a conference publication
Event	International Conference on Advances and Trends in Software Engineering (SOFTENG) - The Second International Conference on Advances and Trends in Software Engineering SOFTENG 2016 Duration: 21 Feb 2016 → 25 Feb 2016

Conference	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. (Principal Investigator), Olszewska, M. (Co-Investigator), Edmunds, A. (Co-Investigator), Ostroumov, S. (Co-Investigator), Petre, L. (Co-Investigator), Boström, P. (Co-Investigator) & Neovius, M. (Co-Investigator)
01/09/13 → 31/08/17
Project: Research Council of Finland/Other Research Councils

Cite this

@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. in H Kaindl & R Meli (eds), Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016). Iaria xps press, pp. 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). ed. / H Kaindl; R Meli. Iaria xps press, 2016. p. 1–9.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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 -