Systematic software development using VDM
Systematic software development using VDM
The Z notation: a reference manual
The Z notation: a reference manual
Yourdon systems method: model-driven systems development
Yourdon systems method: model-driven systems development
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Making the most of formal specification through animation, testing and proof
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
The B Language and Method: A Guide to Practical Formal Development
The B Language and Method: A Guide to Practical Formal Development
Applications of Formal Methods
Applications of Formal Methods
Specification in B: An Introduction Using the B Toolkit
Specification in B: An Introduction Using the B Toolkit
Ten Commandments of Formal Methods
Computer
Formal Methods in the Railways Signalling Industry
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Quantitative Analysis of an Application of Formal Methods
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Formal Methods: The Problem Is Education
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Vers l'utilisation des méthodes formelles pour le développement de linguiciels
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 1
| Hi-index | 0.00 |
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.