Skip to main content
SpringerLink
Log in
Book cover

International Conference on Technical Formal Methods

TFM 2004: Teaching Formal Methods pp 140–152Cite as

Distributed Teaching of Formal Methods

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3294))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. IEEE Computer 28(4), 56–63 (1995)

    Google Scholar 

  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. Clarke, E.M., Wing, J.: Formal methods: State of the art and future directions. ACM Comp Surveys 28(4), 626–643 (1996)

    Article  Google Scholar 

  4. Gries, D.: The Science of Programming. Springer, Heidelberg (1981)

    MATH  Google Scholar 

  5. Pepper, P.: Funktionale Programmierung in Opal, Ml, Haskell und Gofer. Springer, Heidelberg (1999)

    MATH  Google Scholar 

  6. Pepper, P.: Programmieren mit Java. Springer, Heidelberg (2004)

    Google Scholar 

  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), http://www.cs.indiana.edu/formal-methods-education/xxiec/report.html

Download references

Author information

Authors and Affiliations

  1. Technische Universität Berlin,  

    Peter Pepper

Authors
  1. Peter Pepper
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Anglia Polytechnic University, East Rd, CB1 1PT, Cambridge, UK

    C. Neville Dean

  2. INTEC, Universiteit Gent, Belgium

    Raymond T. Boute

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pepper, P. (2004). Distributed Teaching of Formal Methods. In: Dean, C.N., Boute, R.T. (eds) Teaching Formal Methods. TFM 2004. Lecture Notes in Computer Science, vol 3294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30472-2_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30472-2_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23611-5

  • Online ISBN: 978-3-540-30472-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation