000 03536nam a22005655i 4500
001 978-3-030-71374-4
003 DE-He213
005 20240423125110.0
007 cr nn 008mamaa
008 210310s2021 sz | s |||| 0|eng d
020 _a9783030713744
_9978-3-030-71374-4
024 7 _a10.1007/978-3-030-71374-4
_2doi
050 4 _aLB1028.43-1028.75
072 7 _aJNV
_2bicssc
072 7 _aEDU039000
_2bisacsh
072 7 _aJNV
_2thema
082 0 4 _a371.334
_223
245 1 0 _aFormal Methods – Fun for Everybody
_h[electronic resource] :
_bFirst International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers /
_cedited by Antonio Cerone, Markus Roggenbach.
250 _a1st ed. 2021.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2021.
300 _aIX, 227 p. 34 illus., 21 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 _aCommunications in Computer and Information Science,
_x1865-0937 ;
_v1301
505 0 _aRooting Formal Methods in Higher Education Curricula for Computer Science or Software Engineering – A Whitepaper -- Axiom Based Testing for Fun and Pedagogy -- Teaching Formal Methods for Fun Using Maude -- Fun with Formal Methods for Better Education -- Adapting to Different Types of Target Audience in Teaching Formal Methods -- Prototyping Games using Formal Methods -- Teaching Model Checking via Games and Puzzles -- Formal Methods and Cybersecurity Education -- Teaching Them Early: Formal Methods in School -- From Stories to Concurrency: How Children Can Play with Formal Methods -- When the Student becomes the Teacher -- Teaching formal methods in academia: a systematic literature review.
520 _aThis volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019. The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.
650 0 _aEducation
_xData processing.
650 0 _aMachine theory.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aComputers and Education.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aArtificial Intelligence.
700 1 _aCerone, Antonio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aRoggenbach, Markus.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030713737
776 0 8 _iPrinted edition:
_z9783030713751
830 0 _aCommunications in Computer and Information Science,
_x1865-0937 ;
_v1301
856 4 0 _uhttps://doi.org/10.1007/978-3-030-71374-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
942 _cSPRINGER
999 _c174224
_d174224