DocumentCode :
2487526
Title :
Scrum goes formal: Agile methods for safety-critical systems
Author :
Wolff, Sune
Author_Institution :
Terma Defense & Security, Terma A/S, Lystrup, Denmark
fYear :
2012
fDate :
2-2 June 2012
Firstpage :
23
Lastpage :
29
Abstract :
Formal methods have had a relative low penetration in industry but have the potential for much wider use. The use of agile methods has been highly limited in development of safety-critical systems due to the lack of formal evaluation techniques and rigorous planning. A combination of formal methods and agile development processes can potentially widen the use of formal methods in industry as well as enabling the use of agile methods in development of safety-critical systems. This paper describes a way to add the use of formal methods to the agile development process Scrum. Experiences from using a variant of the strategy in an industrial case are summarised.
Keywords :
safety-critical software; software prototyping; Scrum; agile methods; formal evaluation techniques; formal methods; rigorous planning; safety-critical systems; Abstracts; Industries; Object oriented modeling; Planning; Programming; Project management; Software; Scrum; combined method; formal methods;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering: Rigorous and Agile Approaches (FormSERA), 2012 Formal Methods in
Conference_Location :
Zurich
Print_ISBN :
978-1-4673-1907-2
Type :
conf
DOI :
10.1109/FormSERA.2012.6229784
Filename :
6229784
Link To Document :
بازگشت