LEADER 03444nam 22005775 450 001 996464532103316 005 20231005194817.0 010 $a3-030-91550-6 024 7 $a10.1007/978-3-030-91550-6 035 $a(MiAaPQ)EBC6810883 035 $a(Au-PeEL)EBL6810883 035 $a(CKB)19919638700041 035 $a(OCoLC)1286667076 035 $a(DE-He213)978-3-030-91550-6 035 $a(PPN)258838787 035 $a(EXLCZ)9919919638700041 100 $a20211120d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods Teaching$b[electronic resource] $e4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings /$fedited by João F. Ferreira, Alexandra Mendes, Claudio Menghi 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (159 pages) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v13122 311 08$aPrint version: Ferreira, João F. Formal Methods Teaching Cham : Springer International Publishing AG,c2021 9783030915490 320 $aIncludes bibliographical references and index. 327 $aIntroducing 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. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v13122 606 $aMathematical logic 606 $aMathematical Logic and Foundations 606 $aMètodes formals (Informàtica)$2thub 608 $aCongressos$2thub 608 $aLlibres electrònics$2thub 615 0$aMathematical logic. 615 14$aMathematical Logic and Foundations. 615 7$aMètodes formals (Informàtica) 676 $a004.0151 702 $aFerreira$b Joa?o F. 702 $aMendes$b Alexandra 702 $aMenghi$b Claudio 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996464532103316 996 $aFormal Methods Teaching$92550113 997 $aUNISA