Distributed Teaching of Formal Methods

  • Peter Pepper
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3294)


This paper argues that the education in formal methods cannot be located in a few distinguished courses. Rather it has to spread throughout the curriculum such that its spirit is found in many courses. To this end, one needs a way of presenting the underlying concepts of formal methods in an informal style that is amenable even to beginner students.


Formal Method Formal Reasoning Soft Skill Abstract State Machine Solution Principle 
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. 1.
    Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. IEEE Computer 28(4), 56–63 (1995)Google Scholar
  2. 2.
    Hinchey, M.G., Bowen, J.P.: Seven more myths of formal methods: Dispelling industrial prejudices. In: Bertran, M., Naftalin, M., Denvir, T. (eds.) FME 1994. LNCS, vol. 873, pp. 105–117. Springer, Heidelberg (1994)Google Scholar
  3. 3.
    Clarke, E.M., Wing, J.: Formal methods: State of the art and future directions. ACM Comp Surveys 28(4), 626–643 (1996)CrossRefGoogle Scholar
  4. 4.
    Gries, D.: The Science of Programming. Springer, Heidelberg (1981)zbMATHGoogle Scholar
  5. 5.
    Pepper, P.: Funktionale Programmierung in Opal, Ml, Haskell und Gofer. Springer, Heidelberg (1999)zbMATHGoogle Scholar
  6. 6.
    Pepper, P.: Programmieren mit Java. Springer, Heidelberg (2004)Google Scholar
  7. 7.
    Johnson, S.D., Alexander, W.P., Chin, S.-K., Gopalakrishnan, G.: 21st century engineering consortium workshop (XXIEC): a forum on formal methods education. Technical report (March 1998),

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Peter Pepper
    • 1
  1. 1.Technische Universität Berlin 

Personalised recommendations