caa a22 4500 397500785 CHVBK 20180308164532.0 cr unu---uuuuu 161202e199512 xx s 000 0 eng 10.1093/spp/22.6.369 doi (NATIONALLICENCE)oxford-10.1093/spp/22.6.369 The industrial uptake of formal methods in computer science: An analysis and a policy proposal [Elektronische Daten] Formal methods are techniques which draw on mathematics and logic to increase the rigour of computer software development and hardware design. This paper discusses the factors inhibiting their adoption by industry, which include structural features of the formal methods market place. It provides a set of recommendations (directed in the first instance to the British government) to overcome these problems. © Beech Tree Publishing 1995 Cleland George Laboratory for Foundations of Computer Science, The University of Edinburgh, King's Buildings, Edinburgh EH9 3JZ, UK. MacKenzie Donald Department of Sociology, The University of Edinburgh, 18 Buccleuch Place, Edinburgh EH8 9LN, UK. Science and Public Policy Beech Tree Publishing 22/6(1995-12), 369-382 0302-3427 22:6<369 1995 22 spp https://doi.org/10.1093/spp/22.6.369 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1093/spp/22.6.369 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Cleland George Laboratory for Foundations of Computer Science, The University of Edinburgh, King's Buildings, Edinburgh EH9 3JZ, UK NATIONALLICENCE 700 1- MacKenzie Donald Department of Sociology, The University of Edinburgh, 18 Buccleuch Place, Edinburgh EH8 9LN, UK NATIONALLICENCE 773 0- Science and Public Policy Beech Tree Publishing 22/6(1995-12), 369-382 0302-3427 22:6<369 1995 22 spp Metadata rights reserved CC BY-NC-4.0 http://creativecommons.org/licenses/by-nc/4.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-oxford