DocumentCode
1555560
Title
Formal methods into practice: case studies in the application of the B method
Author
Bicarregui, J.C. ; Clutterbuck, D.L. ; Finnie, G. ; Haughton, H. ; Lano, K. ; Lesan, H. ; Marsh, D.W.R.M. ; Matthews, B.M. ; Moulding, M.R. ; Newton, A.R. ; Ritchie, B. ; Rushton, T.G.A. ; Scharbach, P.N.
Author_Institution
Dept. of Comput. & Inf. Syst., Rutherford Appleton Lab., Chilton, UK
Volume
144
Issue
2
fYear
1997
fDate
4/1/1997 12:00:00 AM
Firstpage
119
Lastpage
133
Abstract
The paper reports on an investigation into the application of the B method of formal software development. Six case studies are described, each exploring a different aspect of the use of the B methodology and toolkit. The case studies are drawn from a diverse range of applications and address different aspects of the software development lifecycle. The notation, method and tool support are assessed and conclusions are drawn concerning the use of B and formal methods generally
Keywords
formal specification; formal verification; software tools; B method; B methodology; B toolkit; formal software development; notation; software development lifecycle; tool support;
fLanguage
English
Journal_Title
Software Engineering. IEE Proceedings- [see also Software, IEE Proceedings]
Publisher
iet
ISSN
1364-5080
Type
jour
DOI
10.1049/ip-sen:19970974
Filename
588374
Link To Document