The introduction of formal methods in the design and development departments of an industrial company has far reaching and long lasting consequences. In fact it changes the whole environment of methods, tools and skills that determine the design culture of that company. A decision to replace current design practice by formal methods, therefore, appears a vital one and is not lightly taken. The past has shown that efforts to introduce formal methods in industry has faced a lot of controversy and opposition at various hierarchical levels in companies, resulting in a marginal spread of such methods. This paper revisits the requirements for formal description techniques and identifies some critical success and inhibiting factors associated with the introduction of formal methods in the industrial practice. One of the inhibiting factors is the often encountered lack of appropriateness of the formal model to express and manipulate the design concerns that determine the world of the engineer. This factor motivated our research in the area of architectural and implementation design concepts. The last two sections of this paper report on some results of this research.
|Title of host publication||Protocol Specification, Testing and Verification XIII|
|Subtitle of host publication||Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV XIII|
|Editors||A.S. Danthine, G. Leduc, P. Wolper|
|Place of Publication||Amsterdam|
|Number of pages||24|
|Publication status||Published - 1993|
|Event||IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV 1993 - Liege, Belgium|
Duration: 25 May 1993 → 28 May 1993
Conference number: 13
|Conference||IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV 1993|
|Abbreviated title||PSTV 1993|
|Period||25/05/93 → 28/05/93|
Vissers, C. A., van Sinderen, M., & Ferreira Pires, L. (1993). What makes industries believe in formal methods. In A. S. Danthine, G. Leduc, & P. Wolper (Eds.), Protocol Specification, Testing and Verification XIII: Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV XIII (pp. 3-26). (IFIP Transactions; Vol. C-16). Amsterdam: North Holland.