The open archive for STFC research publications

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