The Combined Power of Research, Education, and Dissemination -

The Combined Power of Research, Education, and Dissemination

Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
Buch | Softcover
XXIV, 378 Seiten
2024
Springer International Publishing (Verlag)
978-3-031-73886-9 (ISBN)
70,61 inkl. MwSt

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.

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.

Erscheinungsdatum
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo XXIV, 378 p. 95 illus., 75 illus. in color.
Verlagsort Cham
Sprache englisch
Maße 155 x 235 mm
Themenwelt Mathematik / Informatik Informatik Software Entwicklung
Mathematik / Informatik Informatik Theorie / Studium
Schlagworte continuous software engineering • formal methods • machine learning • Model Checking • Model-Driven Design
ISBN-10 3-031-73886-1 / 3031738861
ISBN-13 978-3-031-73886-9 / 9783031738869
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen, Prozesse, Methoden und Werkzeuge

von Jörg Schäuffele; Thomas Zurawka

Buch | Hardcover (2024)
Springer Vieweg (Verlag)
99,99
Deterministische und randomisierte Algorithmen

von Volker Turau; Christoph Weyer

Buch | Softcover (2024)
De Gruyter Oldenbourg (Verlag)
64,95