Browse by author
Lookup NU author(s): Professor John Fitzgerald,
Dr Peter Larsen
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
Author(s): Fitzgerald J, Bicarregui J, Larsen PG, Woodcock J
Editor(s): Romanovsky, A.; Thomas, M.
Publication type: Book Chapter
Publication status: Published
Book Title: Industrial Deployment of System Engineering Methods
Number of Volumes: 1
Place Published: Berlin
Library holdings: Search Newcastle University Library for this item