Conclusion

AbstractThis document is one of the parts of the electronic version of the PhD thesis by S.F.M. van Vlijmen [91]. The goal of the PhD project was to get a better understanding of the problems with the integration of formal specification technique in the day to day software practice. The approach followed was to execute a number of projects in cooperation with industry on realistic cases.This document start with an overview of the case studies executed. Then are listed observations and conclusions that can be extracted from the case study evaluations. These observations and conclusions are then confronted with the hypotheses to be tested. The overall conclusion about the usefulness of formal specification technique turns out to be rather negative. A discussion on further work ends the chapter