• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Må bättre, för mindre! Upp till 50% rabatt på hälsoböcker

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Combined Power of Research, Education, and Dissemination

    Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

    AvMike Hinchey,Bernhard Steffen

    Häftad, Engelska, 2024

    Del 15240 i serien Lecture Notes in Computer Science

    841 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    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.

    Produktinformation

    • Utgivningsdatum:2024-10-08
    • Mått:155 x 235 x 23 mm
    • Vikt:616 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:378
    • Upplaga:2025
    • Förlag:Springer International Publishing AG
    • ISBN:9783031738869

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Programvaruutveckling inom Data och IT

    Innehållsförteckning

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