Cantitate/Preț
Produs

Components Operationally: Reversibility and System Engineering: Lecture Notes in Computer Science, cartea 16065

Editat de Claudio Antares Mezzina, Alan Schmitt
en Limba Engleză Paperback – 19 oct 2025

Ecosistemul tehnic explorat în acest volum gravitează în jurul metodelor formale și al ingineriei sistemelor distribuite, punând un accent deosebit pe calculul proceselor și limbajele de programare reactive. Ne-a atras atenția modul în care autorii abordează reversibilitatea — capacitatea sistemelor de a executa operațiuni în sens invers pentru recuperarea din erori sau optimizarea execuției — ca un pilon central pentru fiabilitatea infrastructurilor moderne. Găsim în această carte o sinteză a cercetărilor desfășurate în cadrul echipelor Inria, concentrată pe modelarea componentelor software care trebuie să funcționeze într-un regim operațional strict.

Abordarea este una riguroasă, specifică seriei Lecture Notes in Computer Science, tratând arhitecturile bazate pe componente nu doar ca structuri statice, ci ca entități dinamice ce necesită verificare formală. Dacă Engineering and Operations of System of Systems de John Mo v-a oferit cadrul teoretic pentru gestionarea sistemelor complexe și a lanțurilor de aprovizionare, această carte oferă instrumentele practice și formalismele matematice necesare pentru a implementa reversibilitatea și concurența în sisteme critice.

Putem afirma că lucrarea se distinge prin capacitatea de a conecta concepte abstracte de calcul teoretic cu nevoile operaționale ale rețelelor de calculatoare. Analizele prezentate de Claudio Antares Mezzina și Alan Schmitt nu se limitează la descrierea componentelor, ci investighează modul în care acestea interacționează în medii distribuite sub constrângeri de sincronizare. Este o resursă tehnică ce documentează evoluția metodelor de proiectare de la sistemele monolitice către ecosisteme software modulare și reziliente.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 37464 lei

Preț vechi: 46830 lei
-20%

Puncte Express: 562

Carte disponibilă

Livrare economică 29 aprilie-13 mai
Livrare express 15-21 aprilie pentru 5469 lei


Specificații

ISBN-13: 9783031997167
ISBN-10: 3031997166
Pagini: 248
Ilustrații: X, 237 p. 66 illus., 36 illus. in color.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science


De ce să citești această carte

Recomandăm această carte inginerilor de sistem și cercetătorilor care doresc să aprofundeze mecanismele de reversibilitate în calculul distribuit. Cititorul câștigă o înțelegere avansată a metodelor formale aplicate în ingineria software, esențiale pentru dezvoltarea unor sisteme reactive robuste. Este un volum indispensabil pentru cei care urmăresc optimizarea operațională a componentelor prin rigoare matematică și modelare de procese.


Descriere

This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems. From 2001 to 2015 Jean-Bernard led first the SARDES research team at Inria Grenoble-Rhône-Alpes then the SPADES research team, and from 2015 to 2021 he was the Head of Science of the Inria Grenoble-Rhône-Alpes Research Center. Previously he worked at CNET (Centre National d’Études des Télécommunications) and France Télécom R&D. He has been a long-time board member of DisCoTeC, the main conference on Distributed Computing Technologies, and is a past chair of IFIP Working Group 6.1. His current research interests include concurrency theory, reversibility, process calculi, and reactive and distributed programming languages. In addition to his research and organizational achievements, Jean-Bernard has been an inspiring collaborator, the scope and success of his career is reflected in the contributions to this volume.