Description |
1 online resource : illustrations (some color) |
Series |
Lecture notes in computer science ; 13122 |
|
LNCS sublibrary: SL1 - Theoretical computer science and general issues |
|
Lecture notes in computer science ; 13122.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Introducing Formal Methods to First-Year Students in Three Intensive Weeks -- Online Teaching of Verification of C Programs in Applied Computer Science -- A Proposal for a Framework to Accompany Formal Methods -- Learning Tools -- Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games Increasing Student Self-Reliance and Engagement in ModelChecking Courses -- Teaching Formal Methods to Software Engineers through Collaborative Learning -- Lessons of Formal Program Design in Dafny -- Teaching Correctness-by-Construction and Post-hoc Verification -The Online Experience -- Using Isabelle in Two Courses on Logic and Automated Reasoning -- Introducing Formal Methods to Students who Hate Maths and Struggle with Programming |
Summary |
This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021. The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM |
Notes |
International conference proceedings |
|
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed December 2, 2021) |
Subject |
Formal methods (Computer science) -- Congresses
|
|
Formal methods (Computer science)
|
|
Mètodes formals (Informàtica)
|
Genre/Form |
Electronic books
|
|
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
|
Congressos.
|
Form |
Electronic book
|
Author |
Ferreira, João F., editor
|
|
Mendes, Alexandra, editor
|
|
Menghi, Claudio, editor
|
ISBN |
9783030915506 |
|
3030915506 |
|