Muutke küpsiste eelistusi

E-raamat: Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Edited by , Edited by
  • Formaat - EPUB+DRM
  • Hind: 74,09 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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 Tizianas 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
Margarias 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.