Quantum Software: Aspects of Theory and System Design

Exman, Iaakov, Pérez-Castillo, Ricardo, Piattini, Mario

Quantum Software: Aspects of Theory and System Design
  • 出版商: Springer
  • 出版日期: 2024-08-23
  • 售價: $2,570
  • 貴賓價: 9.5 折 $2,442
  • 語言: 英文
  • 頁數: 355
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 3031641353
  • ISBN-13: 9783031641350
  • 相關分類: 量子 Quantum

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

相關主題

商品描述

This open access book explains the state of the art in quantum software engineering and design, independent from a specific hardware. It deals with quantum software theoretical aspects and with classical software engineering concepts like agile development approaches, validation, measurement, and deployment applied in a quantum or hybrid environment, and is complemented by a number of various industry applications.

After an introductory chapter overviewing the contents of the subsequent chapters, the book is composed of three parts. It starts with a theoretical part on quantum software, as a bold declaration that quantum software theory is deep and valuable independent from the existence of specific quantum hardware. It is based upon the claim that quantum software is the more general theory subsuming classical and hybrid software system theories. The second, more extensive part deals with quantum software system and engineering design. Its quality follows from the comparison of the broad diversity of sometimes conflicting views. Moreover, the variety of approaches to design, enable the reader to make a well-pondered rational choice of preference. The book concludes with a third part, referring to multiple software applications and corresponding laboratory experiences, in order to understand their implications in practice and avoid repeating past mistakes.

This book is of interest to industry professionals and researchers in academia, which are either producing or applying quantum software systems in their work or are considering their potential utility in the future. Furthermore, it also could be beneficial for practitioners already experienced with classical software engineering who desire to understand the fundamentals or possible applications of quantum software.

商品描述(中文翻譯)

這本開放存取的書籍解釋了量子軟體工程和設計的最新技術，與特定硬體無關。它探討了量子軟體的理論方面，以及在量子或混合環境中應用的經典軟體工程概念，如敏捷開發方法、驗證、測量和部署，並輔以多種行業應用的案例。

在介紹性章節概述後續章節內容之後，這本書分為三個部分。首先是關於量子軟體的理論部分，這是一個大膽的宣言，表明量子軟體理論是深刻且有價值的，與特定量子硬體的存在無關。這一部分基於量子軟體是更一般的理論，涵蓋了經典和混合軟體系統理論的主張。第二部分則更為廣泛，涉及量子軟體系統和工程設計。其質量源於對有時相互矛盾的多樣觀點的比較。此外，設計方法的多樣性使讀者能夠做出深思熟慮的理性選擇。書籍的最後一部分提到多種軟體應用及相應的實驗室經驗，以理解其在實踐中的影響並避免重蹈覆轍。

這本書對於行業專業人士和學術界的研究人員都具有吸引力，無論是正在生產或應用量子軟體系統，還是考慮其未來潛在效用。此外，對於已經具備經典軟體工程經驗的從業者來說，這本書也可能有助於他們理解量子軟體的基本原理或可能的應用。

作者簡介

Iaakov Exman is a professor in Computer Science, focusing on Software Theory, at the HIT Holon Institute of Technology, Israel. His research developed from a Linear Algebraic theory of Software Design, into a wider and deeper Quantum Software theory which encompasses quantum software systems, and subsumes classical and hybrid software as special cases.

Ricardo Pérez -Castillo is associate professor in the Faculty of Social Sciences and Information Technology at the University of Castilla-La Mancha (UCLM), Spain. His research interests include quantum software engineering, architecture-driven modernization, model-driven development, business-process archaeology, and enterprise architecture.

Mario Piattini is a Full Professor of Computer Science and leader of the Alarcos Research Group at the University of Castilla-La Mancha. He has experience of working in both academia and industry on information systems quality. His current interests include Quantum Software Engineering, specially hybrid (quantum/classical) systems and development technologies.

Michael Felderer is the Director of the Institute of Software Technology at German Aerospace Center (DLR), Germany, as well as a professor at the University of Innsbruck and Cologne. His research interests include software systems engineering for quantum computing, simulation technologies, and artificial intelligence as well as software quality assurance.

作者簡介(中文翻譯)

Iaakov Exman 是以色列霍隆科技學院的計算機科學教授，專注於軟體理論。他的研究從線性代數的軟體設計理論發展到更廣泛且深入的量子軟體理論，涵蓋量子軟體系統，並將經典和混合軟體視為特殊情況。

Ricardo Pérez-Castillo 是西班牙卡斯蒂利亞-拉曼查大學社會科學與資訊技術學院的副教授。他的研究興趣包括量子軟體工程、架構驅動的現代化、模型驅動的開發、商業流程考古學以及企業架構。

Mario Piattini 是卡斯蒂利亞-拉曼查大學的計算機科學全職教授及 Alarcos 研究小組的負責人。他在學術界和產業界都有關於資訊系統品質的工作經驗。他目前的研究興趣包括量子軟體工程，特別是混合（量子/經典）系統和開發技術。

Michael Felderer 是德國航空航天中心（DLR）軟體技術研究所的所長，同時也是因斯布魯克大學和科隆大學的教授。他的研究興趣包括量子計算的軟體系統工程、模擬技術、人工智慧以及軟體品質保證。

類似商品