ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL	http://purl.org/net/epubs/work/65981
Record Status	Checked
Record Id	65981
Title	Industrial Deployment of Formal Methods: Trends and Challenges
Contributors	JC Bicarregui ( Science and Technology Facilities Council), JS Fitzgerald (Newcastle University), PG Larsen (Aarhus University, Demark), JCP Woodcock (University of York)
Abstract	The DEPLOY project has provided a rare opportunity to explore and document the potential benefits of and challenges to creating and exploiting usable formal methods. Using the results of an updated review of 98 industrial applications, we identify trends relating to analytic power, robustness, stability and usability of tools, as well as to the quality of evidence on costs and benefits of deployment. A consideration of the DEPLOY applications reinforces these trends, additionally emphasising the importance of selecting formalisms suited to the problem domain and of effectively managing traceable links between requirements and models.
Organisation	STFC , SCI-COMP
Keywords	Formal Methods , Software Engineering , Engineering
Funding Information
Related Research Object(s):
Licence Information:
Language	English (EN)

Type	Details	URI(s)	Local file(s)	Year
Book Chapter or Section	In Industrial Deployment of System Engineering Methods. edited by A Romanovsky, M Thomas, chapter 10, 23-144. Springer , 2013.			2013