Lessons learned from rigorous system software development

https://doi.org/10.1016/S0950-5849(97)00013-XGet rights and content

Abstract

This article describes the rigorous application of formal methods of software development to a system software development project within a conventional industrial software development environment. This project applied formal methods to a small part (one subsystem) of the development of a release of a system software product. The formal methods VDM and B were used to specify, design and implement the administration subsystem of a product that was otherwise developed along conventional lines. Support tools were used to assist with the use of both methods throughout the development lifecycle. Metrics for effort and quality were collected from the project and compared with historical metrics for similar projects to allow the impact of formal methods on cost and quality to be assessed. This article briefly outlines the product being developed and the subsystem to which formal methods were applied. The environment in which this development was performed and the particular approach used are described. The results of this industrial application of formal methods and the lessons learned by the project are discussed at some length.

References (22)

  • Bull Information Systems SA, Distributed computing FlowBus product overview, Bull Open Software, 86 A2 51CD, Bull S.A....
  • M.C. Paulk et al.

    Capability Maturity Model for Software

    Carnegie Mellon University Software Engineering Institute Technical Report, CMU/SEI-93TR-24

    (February 1993)
  • Yourdon Inc

    The Yourdon Systems Method: Model Driven Systems Development

    (1993)
  • C.B. Jones

    Systematic Software Development using VDM

  • J.R. Abrial

    The B-Book — Assigning Programs to Meanings

    (1996)
  • J.R. Abrial

    B-Technology Technical Overview

    (1993)
  • J. Hoare, The Formal Development of CICS with B, in Bull Information Systems SA, Distributed computing FlowBus product...
  • B. Ormsby

    An Approach to Testing during Formal Development with the B Method, Euromicro 96 Short Contributions

  • J.C. Bicarregui et al.

    Quantitative analysis of an application of formal methods

  • D. Maisey et al.

    Measuring the quality of the development lifecycle process

    Software Quality J.

    (1996)
  • Cited by (4)

    View full text