Selling formal methods to industry

  • Debora Weber-Wulff
Part of the Lecture Notes in Computer Science book series (LNCS, volume 670)


This paper addresses some of the questions involved in attempting to introduce formal methods into industry on a broader basis. Marketing aspects and the importance of teaching programmers how to use formal methods are stressed.


Formal Method Migration Path Math Anxiety Formal Methodology Software Life Cycle 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Dij89]
    Edsger W. Dijkstra. On the cruelty of really teaching computing science. CACM, 32(12):1398–1404, Dec. 1989.Google Scholar
  2. [HJ92]
    Wim Hesselink and Jan Jongejan. Duplicate deletion derived. CACM, 35(7):99–107, July 1992.Google Scholar
  3. [Pap80]
    Seymour Papert. Mindstorms. Children, Computer and Powerful Ideas. Basic Books, New York, 1980.Google Scholar
  4. [TW91]
    Jukka Teuhola and Lutz Wegner. Minimal space average linear time duplication deletion. CACM, 34(3):62–73, March 1991.Google Scholar
  5. [WW90]
    Debora Weber-Wulff. A buffering system implementation using VDM. In D. Bjørner, C.A.R. Hoare, and H. Langmaack., editors, LNCS 428: VDM & Z!: Proceedings of the Third International Symposium of VDM Europe, Kiel, pages 135–149, Heidelberg, 1990. Springer Verlag.Google Scholar
  6. [WW93]
    Debora Weber-Wulff. Proof movie: A Proof with the Boyer-Moore prover. Formal Aspects of Computing, 5, 1993. To appear.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Debora Weber-Wulff
    • 1
  1. 1.Technische Fachhochschule Berlin Fachbereich InformatikBerlin 65

Personalised recommendations