Engineering Trustworthy Software Systems: 7th International School, Setss 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures
暫譯: 可信軟體系統工程：第七屆國際學校，SETSS 2025，北京，中國，2025年5月17日至23日，教程講座

Bowen, Jonathan P., Turrini, Andrea

Engineering Trustworthy Software Systems: 7th International School, Setss 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures
  • 出版商: Springer
  • 出版日期: 2026-05-07
  • 售價: $2,630
  • 貴賓價: 9.5 折 $2,498
  • 語言: 英文
  • 頁數: 287
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 981958616X
  • ISBN-13: 9789819586165
  • 相關分類: 軟體測試

    • 海外代購書籍(需單獨結帳)

商品描述

This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in May 17-23, 2025.

The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety of
techniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering.

商品描述(中文翻譯)

本書 LNCS 16481 是第七屆國際可信軟體系統工程學校（SETSS 2025）經過審核的會議論文集，該會議於 2025 年 5 月 17 日至 23 日在中國北京舉行。

七篇完整的論文是從八篇提交的作品中仔細審核和選出的。會議論文集中涵蓋了在 SETSS 期間所進行的講座，涉及多種技術以實現這一目標，從模型檢查到模擬測試，從使用形式方法和合約到基於模型的工程。

作者簡介

Jonathan P. Bowen is an Emeritus Professor of Computing at London South Bank University, UK, an adjunct professor at Southwest University, Chongqing, China, and Chairman of Museophile Limited. His career spans academia and industry, with extensive contributions to formal methods, safety-critical systems, and the history of computing.

Andrea Turrini is a researcher at the Institute of Software, Chinese Academy of Sciences, Beijing, China. His research interests lie in the area of formal methods, with a particular focus on modeling and verification of uncertain systems.

作者簡介(中文翻譯)

喬納森·P·鮑文（Jonathan P. Bowen）是英國倫敦南岸大學（London South Bank University）計算機學的名譽教授，並擔任中國重慶西南大學的兼任教授，以及Museophile Limited的董事長。他的職業生涯涵蓋學術界和工業界，對形式方法、安全關鍵系統以及計算機歷史有著廣泛的貢獻。

安德烈亞·圖爾里尼（Andrea Turrini）是中國科學院軟體研究所（Institute of Software, Chinese Academy of Sciences）的一名研究員。他的研究興趣集中在形式方法領域，特別是對不確定系統的建模和驗證。

類似商品

最後瀏覽商品 (1)