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
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