Integration of formal specification, review, and testing for software component quality assurance
Proceedings of the 2009 ACM symposium on Applied Computing
A comparative study of two formal specification languages: Z-notation & B-method
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
Hi-index | 0.00 |
The web site for this conference states that: “The challenge now is to achieve general acceptance of formal methods as a part of industrial development of high quality systems, particularly trusted systems.” We are all going to be discussing How to achieve this, but before that we should maybe ask the other questions: What are the real benefits of formal methods and Why should we care about them? When and Where should we expect to use them, and Who should be involved? I will suggest some answers to those questions and then describe some ways that the benefits are being realised in practice, and what I think needs to happen for them to become more widespread.