Starting 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 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.

Contributions from leading researchers Chapters explain many current developments inspired by Tiziana Margaria Community motivated to applying theory to practice

Inhalt

The 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.