Way Forward
Next: Full Report
Up: Survey of Formal
Previous: Industrial Survey
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.
Axel Belinfante.
Wed Oct 5 19:28:49 MET 1994