Quantum Software Engineering

This book presents a set of software engineering techniques and tools to improve the productivity and assure the quality in quantum software development. Through the collaboration of the software engineering community with the quantum computing community new architectural paradigms for quantum-enabled computing systems will be anticipated and developed.

The book starts with a chapter that introduces the main concepts and general foundations related to quantum computing. This is followed by a number of chapters dealing with the quantum software engineering methods and techniques. Topics like the Talavera Manifesto for quantum software engineering, frameworks for hybrid systems, formal methods for quantum software engineering, quantum software modelling languages, and reengineering for quantum software are covered in this part. A second set of chapters then deals with quantum software environments and tools, detailing platforms like QuantumPath(R), Classiq as well as quantum software frameworks for deep learning.

Overall, the book aims at academic researchers and practitioners involved in the creation of quantum information systems and software platforms. It is assumed that readers have a background in traditional software engineering and information systems.

本書介紹了一系列軟體工程技術和工具，以提高量子軟體開發的生產力和確保品質。通過軟體工程社區與量子計算社區的合作，將預見並開發出針對量子計算系統的新架構範例。

本書首先介紹了與量子計算相關的主要概念和一般基礎知識。接著，有幾章介紹了量子軟體工程的方法和技術。這些章節涵蓋了Talavera量子軟體工程宣言、混合系統框架、量子軟體工程的形式化方法、量子軟體建模語言以及針對量子軟體的再工程等主題。接下來的幾章則介紹了量子軟體環境和工具，詳細介紹了QuantumPath(R)、Classiq以及用於深度學習的量子軟體框架。

總體而言，本書針對從事量子信息系統和軟體平台開發的學術研究人員和從業人員。假設讀者具備傳統軟體工程和信息系統的背景知識。

Manuel A. Serrano is Associate Professor at the University of Castilla - La Mancha (Spain) since 2000. Currently, he is Vice-Dean of the Department of Technologies and Information Systems. He has participated in more than 20 research projects, has conducted several invited speeches and transfer project with companies. Manuel is a member of the aQuantum team working on quantum algorithms, quantum testing and quantum software engineering. He is also part of the Microsoft Quantum Network imparting several quantum computing seminars and workshops.

Ricardo Pérez-Castillo works at the IT & Social Sciences School of Talavera at University of Castilla-La Mancha and belongs to Alarcos Research Group. His research includes works on architecture-driven modernization, model-driven development, and business process archaeology. Ricardo is member of the aQuantum scientific research team where he works on the migration of classical and quantum systems toward hybrid information systems. He is the research director of some public-funding research projects about quantum software engineering, and he has also co-organized several workshops on Quantum Software Engineering.

Mario Piattini is Director of the Alarcos Research Group at UCLM. He is among the 15 "Top scholars in the field of systems and software engineering (2004-2008)" and the 15 "Most active experienced Software Engineering researchers in top-quality journals (2010-2017)". He is the co-creator of the "aQuantum" unit, which was founded to learn about the specific problems quantum developers and scientists have to face, and which puts together industry and research. He has also co-organized several workshops on Quantum Software Engineering.

Manuel A. Serrano自2000年起擔任西班牙卡斯蒂利亞-拉曼查大學的副教授。目前，他是技術與資訊系統學院的副院長。他參與了超過20個研究項目，發表了多次邀請演講並與企業進行了轉移項目。Manuel是aQuantum團隊的成員，該團隊致力於量子算法、量子測試和量子軟體工程。他還是微軟量子網絡的一部分，舉辦了多次量子計算研討會和工作坊。

Ricardo Pérez-Castillo在卡斯蒂利亞-拉曼查大學的塔拉韋拉IT與社會科學學院工作，並隸屬於Alarcos研究小組。他的研究包括基於架構的現代化、模型驅動開發和業務流程考古學。Ricardo是aQuantum科學研究團隊的成員，他致力於將傳統和量子系統遷移到混合信息系統。他是一些關於量子軟體工程的公共資助研究項目的研究主任，並且還共同組織了幾個量子軟體工程的研討會。

Mario Piattini是UCLM的Alarcos研究小組的主任。他是「系統和軟體工程領域的15位頂尖學者（2004-2008）」和「在高質量期刊上最活躍的15位經驗豐富的軟體工程研究人員（2010-2017）」之一。他是「aQuantum」單位的共同創建者，該單位旨在了解量子開發人員和科學家所面臨的特定問題，並將工業和研究結合在一起。他還共同組織了幾個量子軟體工程的研討會。