ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Contact ePubs
Full Record Details
Persistent URL
http://purl.org/net/epubs/work/28898
Record Status
Checked
Record Id
28898
Title
Formal Methods into Practice: Case Studies in the Application of the B Method
Contributors
JC Bicarregui
,
DL Clutterbuck
,
G Finnie
,
H Haughton
,
K Lano
,
H Lesan
,
DWRM Marsh
,
B M Matthews
,
MR Moulding
,
AR Newton
,
B Ritchie
,
TGA Rushton
,
PN Scharbach
Abstract
This 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 is assessed and conclusions drawn concerning the use of B and formal methods generally.
Organisation
CCLRC
,
BITD
Keywords
Software Development
,
Formal Methods
Funding Information
Related Research Object(s):
49293326
Licence Information:
Language
English (EN)
Type
Details
URI(s)
Local file(s)
Year
Journal Article
IEE proceedings on Software Enginering 144, no. 2 (1997): 119-133.
doi:10.1049/ip-sen:19970974
1997
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
Jisc Open Policy Finder
Journal Checker Tool
Google Scholar