Skip to main content
SpringerLink
Log in

Formal Methods Teaching

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Brijesh Dongol

    1. University of Surrey, Guildford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luigia Petre

    1. Åbo Akademi University, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Graeme Smith

    1. The University of Queensland, Brisbane, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FMTea 2019.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and 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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Tutorial Lectures

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Logic, Algebra, and Geometry at the Foundation of Computer Science

      • Tony Hoare, Alexandra Mendes, João F. Ferreira
      Pages 3-20

  3. Teaching Program Verification

    1. Front Matter

      Pages 21-21
      Download chapter PDF

    2. Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists

      • Léo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet
      Pages 23-36

    3. Using Krakatoa for Teaching Formal Verification of Java Programs

      • Jose Divasón, Ana Romero
      Pages 37-51

    4. Teaching Deductive Verification in Why3 to Undergraduate Students

      • Sandrine Blazy
      Pages 52-66

  4. Teaching Program Development

    1. Front Matter

      Pages 67-67
      Download chapter PDF

    2. Teaching Formal Methods to Future Engineers

      • Catherine Dubois, Virgile Prevosto, Guillaume Burel
      Pages 69-80

    3. The Computational Relevance of Formal Logic Through Formal Proofs

      • Ariane A. Almeida, Ana Cristina Rocha-Oliveira, Thiago M. Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón
      Pages 81-96

    4. Teaching Formal Methods: From Software in the Small to Software in the Large

      • María-del-Mar Gallardo, Laura Panizo
      Pages 97-110

    5. On Teaching Applied Formal Methods in Aerospace Engineering

      • Kristin Yvonne Rozier
      Pages 111-131

  5. Effective Teaching Techniques

    1. Front Matter

      Pages 133-133
      Download chapter PDF

    2. Teaching Concurrency with the Disappearing Formal Method

      • Emil Sekerinski
      Pages 135-149

    3. Teaching Discrete Mathematics to Computer Science Students

      • Faron Moller, Liam O’Reilly
      Pages 150-164

    4. Principled and Pragmatic Specification of Programming Languages

      • Adrian Johnstone, Elizabeth Scott
      Pages 165-180

    5. Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods

      • Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke
      Pages 181-195

    6. Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed Approach

      • Andrew Simpson
      Pages 196-211

    7. Teaching Formal Methods: Lessons Learnt from Using Event-B

      • Néstor Cataño
      Pages 212-227

    8. You Already Used Formal Methods but Did Not Know It

      • Giampaolo Bella
      Pages 228-243
Back to top

Other volumes

  1. Formal Methods Teaching

Keywords

About this book

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.

The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.

Editors and Affiliations

  • University of Surrey, Guildford, UK

    Brijesh Dongol

  • Åbo Akademi University, Turku, Finland

    Luigia Petre

  • The University of Queensland, Brisbane, Australia

    Graeme Smith

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation