Paper Info
Title
Application and benefits of formal methods in software development
Abstract
Formal methods for software development receive much attention in research centres, but are rarely used in industry for the development of (large) software systems. One of the reasons is that little is known about the integration of formal methods in the software process, and the exact role of formal methods in the software life-cycle is still unclear. In this paper, a detailed examination is made of the application of, and the benefits resulting from, a generally applicable formal method (VDM) in a standard model for software development (DoD-STD-2167A). Currently, there is no general agreement on how formal methods should be used, but in order to analyse the use of formal methods in the software process, a clear view of such use is essential. Therefore, we show what is meant by 'using a formal method'. The different activities of DoD-STD-2167A are analysed with regard to their suitability for applying VDM and the benefits that may result from applying VDM for that activity. Based on this analysis, an overall view on the usage of formal methods in the software process is formulated.
Year
DOI
Venue
1992
10.1049/sej.1992.0034
Software Engineering Journal
Field
DocType
Volume
Personal software process,Systems engineering,Software engineering,Computer science,Package development process,Formal specification,Software development process,Formal methods,Vienna Development Method,Software construction,Software development
Journal
7
Issue
ISSN
Citations 
5
0268-6961
10
PageRank 
References 
Authors
0.67
6
3
Name
Order
Citations
PageRank
Nico Plat18715.63
Jan van Katwijk214731.70
Hans Toetenel37610.54