Way Forward

To overcome some of the above problems we suggest the following:

• A programme of education to spread the understanding of formal methods which would help the process of change.

• Case studies, which may show the cost benefits to be gained by using formal methods.

• Research on metrics and data collection to help in assessing the contribution of formal methods to the production of software.

• Efforts to get VDM and Z standardised as soon as possible.