Skip to main content
Springer Nature Link
Log in

Distributed Teaching of Formal Methods

  • Conference paper
Teaching Formal Methods (TFM 2004)

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

Included in the following conference series:

  • 390 Accesses

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 to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

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