Imagem da capa

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /

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

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor Corporativo: SpringerLink (Online service)
Outros Autores: Hinchey, Mike (Editor), Steffen, Bernhard (Editor)
Formato: Recurso Electrónico livro electrónico
Idioma:inglês
Publicado em: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edição:1st ed. 2025.
Colecção:Lecture Notes in Computer Science, 15240
Assuntos:
Software engineering.
Machine theory.
Software Engineering.
Formal Languages and Automata Theory.
Acesso em linha:https://doi.org/10.1007/978-3-031-73887-6
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Sumário:
  • 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.

Registos relacionados