000 | 03536nam a22005415i 4500 | ||
---|---|---|---|
001 | 978-3-030-91550-6 | ||
003 | DE-He213 | ||
005 | 20240730180821.0 | ||
007 | cr nn 008mamaa | ||
008 | 211120s2021 sz | s |||| 0|eng d | ||
020 |
_a9783030915506 _9978-3-030-91550-6 |
||
024 | 7 |
_a10.1007/978-3-030-91550-6 _2doi |
|
050 | 4 | _aQA8.9-10.3 | |
072 | 7 |
_aPBCD _2bicssc |
|
072 | 7 |
_aPBC _2bicssc |
|
072 | 7 |
_aMAT018000 _2bisacsh |
|
072 | 7 |
_aPBCD _2thema |
|
072 | 7 |
_aPBC _2thema |
|
082 | 0 | 4 |
_a511.3 _223 |
245 | 1 | 0 |
_aFormal Methods Teaching _h[electronic resource] : _b4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings / _cedited by João F. Ferreira, Alexandra Mendes, Claudio Menghi. |
250 | _a1st ed. 2021. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2021. |
|
300 |
_aXII, 147 p. 27 illus., 14 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v13122 |
|
505 | 0 | _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. | |
520 | _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. | ||
650 | 0 |
_aMathematical logic. _92258 |
|
650 | 1 | 4 |
_aMathematical Logic and Foundations. _934712 |
700 | 1 |
_aFerreira, João F. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9122021 |
|
700 | 1 |
_aMendes, Alexandra. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9122022 |
|
700 | 1 |
_aMenghi, Claudio. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9122023 |
|
710 | 2 |
_aSpringerLink (Online service) _9122024 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030915490 |
776 | 0 | 8 |
_iPrinted edition: _z9783030915513 |
830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v13122 _9122025 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-91550-6 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c90526 _d90526 |