Advertisement

© 2019

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

  • Brijesh Dongol
  • Luigia Petre
  • Graeme Smith
Conference proceedings FMTea 2019

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11758)

Table of contents

  1. Front Matter
    Pages i-xvi
    PDF

  2. Tutorial Lectures

    1. Front Matter
      Pages 1-1
      PDF
    2. Logic, Algebra, and Geometry at the Foundation of Computer Science
      Tony Hoare, Alexandra Mendes, João F. Ferreira
      Pages 3-20
      PDF

  3. Teaching Program Verification

    1. Front Matter
      Pages 21-21
      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
      PDF
    3. Using Krakatoa for Teaching Formal Verification of Java Programs
      Jose Divasón, Ana Romero
      Pages 37-51
      PDF
    4. Teaching Deductive Verification in Why3 to Undergraduate Students
      Sandrine Blazy
      Pages 52-66
      PDF

  4. Teaching Program Development

    1. Front Matter
      Pages 67-67
      PDF
    2. Teaching Formal Methods to Future Engineers
      Catherine Dubois, Virgile Prevosto, Guillaume Burel
      Pages 69-80
      PDF
    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
      PDF
    4. Teaching Formal Methods: From Software in the Small to Software in the Large
      María-del-Mar Gallardo, Laura Panizo
      Pages 97-110
      PDF
    5. On Teaching Applied Formal Methods in Aerospace Engineering
      Kristin Yvonne Rozier
      Pages 111-131
      PDF

  5. Effective Teaching Techniques

    1. Front Matter
      Pages 133-133
      PDF
    2. Teaching Concurrency with the Disappearing Formal Method
      Emil Sekerinski
      Pages 135-149
      PDF
    3. Teaching Discrete Mathematics to Computer Science Students
      Faron Moller, Liam O’Reilly
      Pages 150-164
      PDF
    4. Principled and Pragmatic Specification of Programming Languages
      Adrian Johnstone, Elizabeth Scott
      Pages 165-180
      PDF
    5. Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods
      Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke
      Pages 181-195
      PDF
    6. Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed Approach
      Andrew Simpson
      Pages 196-211
      PDF
    7. Teaching Formal Methods: Lessons Learnt from Using Event-B
      Néstor Cataño
      Pages 212-227
      PDF
    8. You Already Used Formal Methods but Did Not Know It
      Giampaolo Bella
      Pages 228-243
      PDF
  6. Back Matter
    Pages 245-245
    PDF

About these proceedings

Introduction

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.

Keywords

artificial intelligence data security education effective teaching techniques formal logic formal methods model checking program development program verification programming languages semantics software engineering software evaluation specifications teaching teaching for the 21st Century theorem proving university verification

Editors and affiliations

  1. 1.University of SurreyGuildfordUK
  2. 2.Åbo Akademi UniversityTurkuFinland
  3. 3.The University of QueenslandBrisbaneAustralia

Bibliographic information