Teaching Formal Methods

Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

  • Jeremy Gibbons
  • José Nuno Oliveira
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5846)

Table of contents

  1. Front Matter
  2. Nestor Catano, Camilo Rueda
    Pages 2-19
  3. João F. Ferreira, Alexandra Mendes, Roland Backhouse, Luís S. Barbosa
    Pages 39-56
  4. Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden
    Pages 57-71
  5. Stefan Hallerstede, Michael Leuschel
    Pages 105-124
  6. Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle
    Pages 125-143
  7. Jan Kofroň, Pavel Parízek, Ondřej Šerý
    Pages 144-157
  8. Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen, Jiří Srba
    Pages 158-175
  9. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherlands in November 2009.

The 10 revised full papers presented together with an abstracts of invited talk were carefully reviewed and selected from 19 submissions. The papers presented explore the experiences of teaching FMs, both successful and unsuccessful, educational resources including the use of books, case studies and the internet, the education of weak and mathphobic students, the integration, or otherwise, of FMs into the curriculum, including, contributions to the definition of a Formal Methods Body of Knowledge (FMBOK), the advantages of FM-trained graduates in the workplace, changing attitudes towards FMs in students, academic staff and practitioners and the necessary mathematical background.

Keywords

Debugging Maude algorithms design calculus code analysis imformation society logic modeling program debugging program specification program testing program verification rewriting logic semantic markup language verification

Editors and affiliations

  • Jeremy Gibbons
    • 1
  • José Nuno Oliveira
    • 2
  1. 1.Computing LaboratoryOxford UniversityOxfordUK
  2. 2.Departamento de InformáticaUniversidade do MinhoBragaPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-04912-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04911-8
  • Online ISBN 978-3-642-04912-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book