Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
暫譯: 運作元件:可逆性與系統工程:獻給讓-伯納德·斯特凡尼65歲生日的論文集
Mezzina, Claudio Antares, Schmitt, Alan
- 出版商: Springer
- 出版日期: 2025-10-19
- 售價: $2,790
- 貴賓價: 9.5 折 $2,651
- 語言: 英文
- 頁數: 237
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031997166
- ISBN-13: 9783031997167
-
相關分類:
Domain-Driven Design
海外代購書籍(需單獨結帳)
商品描述
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.
商品描述(中文翻譯)
這本 Festschrift 是獻給 Jean-Bernard Stefani 的,他是元件式軟體工程、系統建模以及分散式系統的形式方法領域的領先研究者。
從 2001 年到 2015 年,Jean-Bernard 首先領導了 Inria Grenoble-Rhône-Alpes 的 SARDES 研究團隊,然後是 SPADES 研究團隊,並且在 2015 年到 2021 年期間擔任 Inria Grenoble-Rhône-Alpes 研究中心的科學負責人。在此之前,他曾在 CNET(法國國家電信研究中心)和法國電信研發部門工作。他長期擔任 DisCoTeC 的董事會成員,這是分散式計算技術的主要會議,並且曾擔任 IFIP 工作組 6.1 的主席。他目前的研究興趣包括併發理論、可逆性、過程計算以及反應式和分散式程式語言。
除了他的研究和組織成就外,Jean-Bernard 也是一位鼓舞人心的合作者,他的職業生涯的範圍和成功在本卷的貢獻中得到了體現。