Quantum Software Engineering
暫譯: 量子軟體工程
Serrano, Manuel A., Pérez-Castillo, Ricardo, Piattini, Mario
- 出版商: Springer
- 出版日期: 2022-10-13
- 售價: $4,510
- 貴賓價: 9.5 折 $4,285
- 語言: 英文
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 3031053230
- ISBN-13: 9783031053238
-
相關分類:
軟體工程、量子 Quantum
海外代購書籍(需單獨結帳)
商品描述
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 在卡斯蒂利亞-拉曼查大學的塔拉維拉資訊與社會科學學院工作，並屬於 Alarcos 研究小組。他的研究包括以架構為驅動的現代化、模型驅動開發和業務流程考古學。Ricardo 是 aQuantum 科學研究團隊的成員，專注於將經典和量子系統遷移到混合資訊系統。他是一些公共資金研究項目的研究主任，並共同組織了幾場有關量子軟體工程的工作坊。
Mario Piattini 是 UCLM 的 Alarcos 研究小組主任。他曾被評選為「系統與軟體工程領域的15位頂尖學者（2004-2008）」和「在高品質期刊中最活躍的15位經驗豐富的軟體工程研究者（2010-2017）」。他是「aQuantum」單位的共同創建者，該單位成立的目的是了解量子開發者和科學家所面臨的具體問題，並將產業與研究結合在一起。他也共同組織了幾場有關量子軟體工程的工作坊。
