LEADER 02878nam 2200481 450 001 996565872003316 005 20231129122319.0 010 $a3-031-43678-4 024 7 $a10.1007/978-3-031-43678-9 035 $a(MiAaPQ)EBC30865406 035 $a(Au-PeEL)EBL30865406 035 $a(DE-He213)978-3-031-43678-9 035 $a(MiAaPQ)EBC30861790 035 $a(Au-PeEL)EBL30861790 035 $a(EXLCZ)9928733283700041 100 $a20231129d2023 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aFormal Methods for an Informal World $eICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures /$fAntonio Cerone, editors 205 $aFirst edition. 210 1$aCham, Switzerland :$cSpringer,$d[2023] 210 4$dİ2023 215 $a1 online resource (180 pages) 225 1 $aLecture Notes in Computer Science Series ;$vVolume 13490 311 08$aPrint version: Cerone, Antonio Formal Methods for an Informal World Cham : Springer International Publishing AG,c2023 9783031436772 320 $aIncludes bibliographical references and index. 327 $aModelling Interactions: Digital and Physical -- Modelling and Analysing Cognition and Interaction -- Object-Centric Process Mining: An Introduction -- Model-based engineering for robotics with RoboChart and RoboTool -- Formal Methods Adoption in Industry: An Experience Report -- Security Research: Program Analysis Meets Security. 330 $aThis volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic. The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understanding and formal and informal analysis. The target audience consists of graduate students, young researchers and industrial practitioners, from both computer science and other fields that make use of computational methods. 410 0$aLecture notes in computer science ;$vVolume 13490. 606 $aFormal methods (Computer science)$vCongresses 615 0$aFormal methods (Computer science) 676 $a005.3 702 $aCerone$b Antonio 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996565872003316 996 $aFormal Methods for an Informal World$93646305 997 $aUNISA