A Specification Case Study using the B-methodology
Software Testing Verification and Reliability (1992)
- ISSN: 10991689
Abstract
The B-Method is a complete formal development process for mathematically transforming software systems from specification through to code. This article provides the reader with an overview of the process including a description of the language used for specifying systems (Abstract Machine Notation) and demonstrates its application by a simple, real-life case study. The method has tool support in the form of a tool-kit which is described and applied to the case study. The results of the case study show how a system can be validated and verified in the early stages of its development through proof of the mathematical specification and an animating tool. (12 Refs)
Related
Readership Statistics
2 Readers on Mendeley
by Discipline
by Academic Status
50% Researcher (at an Academic Institution)
50% Assistant Professor
by Country
50% Ghana
50% France
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime
