LEADER 05141nam 22005415 450 001 9910983395303321 005 20241023125721.0 010 $a3-031-73887-X 024 7 $a10.1007/978-3-031-73887-6 035 $a(MiAaPQ)EBC31738104 035 $a(Au-PeEL)EBL31738104 035 $a(CKB)36389230900041 035 $a(DE-He213)978-3-031-73887-6 035 $a(OCoLC)1467880262 035 $a(EXLCZ)9936389230900041 100 $a20241023d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe Combined Power of Research, Education, and Dissemination $eEssays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /$fedited by Mike Hinchey, Bernhard Steffen 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (400 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15240 311 08$a3-031-73886-1 327 $aThe Combined Power of Research, Education and Dissemination -- My Mom - My Role Model -- Omnipresence -- Bridging Theory and Practice: Tiziana Margaria?s Strategic Leadership in bridging academia and industry -- How Long Does It Take to Become (Scientific) Friends? -- The Big Game: The Italian Avenue of Attack to Cybersecurity Skill Shortage -- Education and Society -- From Otter to ISoLA -- A Quantum-like Intellect: Celebrating the Profound Impact of Tiziana Margaria, Professor and Friend -- The Softer Side of a Formal Methods Researcher -- The Power of Models for Software Engineering -- Unveiling Modeling Patterns in Workflow Sketches: Insights for Designing an Abstract Workflow Language for Scientific Computing -- The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-based Engineering -- A Case-Study on Structured Modeling with Internal Domain-Specific Languages -- Semantic Reflection and Digital Twins: A Comprehensive Overview -- Assessing static and dynamic features for packing detection -- Towards a Framework for Transitioning from Monolith to Serverless -- Computing Inflated Explanations for Boosted Trees: A Compilation-Based Approach -- The AI Act and Some Implications for Developing AI-based Systems -- Recognizing Hand-based Micro Activities Using Wrist-Worn Inertial Sensors: A Zero-Shot Learning Approach -- A Modal Logic Analysis of the MUTEX Variable Coverage Theorem -- Timing is all you need -- Three Ways of Proving Termination of Loops -- Formal Verification of BDI Agents -- Formal Methods for Industrial Critical Systems: 30 Years of Railway Applications -- A Manifesto 4 Longevity as a Biomedical Paradigm Shift Challenging Entrenched Wisdoms in Healthcare Economics -- Death and Burial Data: Ireland 1864-1922 ? an interdisciplinary collaboration. 330 $aStarting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable functionalities in software and systems, with building blocks and MDD, and she strives for coherence and alignment in complex systems through verification, model checking and workflow synthesis. Her quest for simplicity spans technologies (low-code/no-code; ITSy project), business (Business Model Canvas; tools for innovative business models) and disciplines with her concept of the Digital Thread, a metaphor for IT-mediated interoperation of reusable and ideally verified tools and systems in new platforms where reuse, repurposing and evolution are supported by design. Her most recent initiative, R@ISE, aims at opening the world of IT production and adaptation to a wider range of users and professions. Tiziana is a cofounder and managing editor of the International Journal on Software Tools for Technology Transfer, she cofounded the ISoLA conference, and cofounded METAFrame Technologies serving as CEO. She is a Fellow of the Society for Design and Process Science and a Fellow and Vice President of the Irish Computer Society. Throughout her career Tiziana?s successes have been motivated by how best to advance science and engineering through the implementation of techniques in challenging applications, and the contributions in this volume by leading researchers are representative of a community that shares this drive. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15240 606 $aSoftware engineering 606 $aMachine theory 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 615 0$aSoftware engineering. 615 0$aMachine theory. 615 14$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 676 $a005.1 700 $aHinchey$b Mike$01762713 701 $aSteffen$b Bernhard$0878620 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983395303321 996 $aThe Combined Power of Research, Education, and Dissemination$94317075 997 $aUNINA