Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
暫譯: 可信軟體系統工程：第四屆國際學校，SETSS 2018，中國重慶，2018年4月7日至12日，教程講座

Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili

Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
  • 出版商: Springer
  • 出版日期: 2019-04-14
  • 售價: $2,800
  • 貴賓價: 9.5 折 $2,660
  • 語言: 英文
  • 頁數: 237
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030176002
  • ISBN-13: 9783030176006

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

相關主題

商品描述

This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China.

The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning B chi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.

商品描述(中文翻譯)

本卷包含了在計算機系統工程中使用的方法和工具的前沿研究講座；這些講座是在2018年4月於中國重慶西南大學舉辦的第四屆國際可信軟體系統工程學校（SETSS 2018）上進行的。

本卷的五個章節提供了有關軟體建模、設計和驗證的理論、方法和工具前沿研究的概述。這些章節涵蓋的主題包括使用 Whiley 進行軟體驗證、學習 B 齊自動機及其應用、物聯網應用中的安全性、在 Z3 中編程，以及艾倫·圖靈的影響：形式方法及其超越。本卷為對可信軟體的理論、方法和工具感興趣的研究生、研究人員、學者和業界工程師提供了有用的資源。

作者簡介

Editors: Jonathan P. Bowen, London Southbank University, UK;
Zhiming Liu, Southwest University, Chongqing, China;
Zili Zhang, Southwest University, Chongqing, China

作者簡介(中文翻譯)

編輯：喬納森·P·鮑文（Jonathan P. Bowen），英國倫敦南岸大學；
劉志明（Zhiming Liu），中國重慶西南大學；
張子立（Zili Zhang），中國重慶西南大學

類似商品

最後瀏覽商品 (20)