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 Formal Methods , Software Development
Funding Information
Related Research Object(s):
Language English (EN)
Type Details URI(s) Local file(s) Year
Journal Article IEE proceedings on Software Enginering 144, no. 2 (1997): 119-133. 1997