Technology Transfer to Industry

Part of the Undergraduate Topics in Computer Science book series (UTICS)


This chapter discusses technology transfer which is concerned with the practical exploitation of new technology developed by an academic or industrial research group, and the objective is to facilitate the use of the technology in an industrial environment. Technology transfer needs to take place in a controlled manner, and it is important to conduct a pilot of the technology prior to a decision on general deployment.


  1. 1.
    D. Weber-Wulff, Selling formal methods to Industry, in FME’93. LNCS, vol. 670 (1993)Google Scholar
  2. 2.
    B.A. Wichmann, A Personal View of Formal Methods (National Physical Laboratory, Mar 2000)Google Scholar
  3. 3.
    M. Tierney, The Evolution of Def Stan 00-55 and 00-56. An intensification of the formal methods debate in the UK. Research Centre for Social Sciences (University of Edinburgh, 1991)Google Scholar
  4. 4.
    G. O’Regan, Mathematics in Computing, 2nd edn. (Springer, 2012)Google Scholar
  5. 5.
    G. O’Regan, Guide to Discrete Mathematics (Springer, 2016)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.SQC ConsultingMallow, County CorkIreland

Personalised recommendations