07/12/2024, 18:37 Quantum Software Engineering | SpringerLink
Log in
Menu Search Cart
Home Book
Quantum Software Engineering
Book © 2022
Overview
Editors: Manuel A. Serrano, Ricardo Pérez-Castillo, Mario Piattini
Introduces SWE techniques and tools to improve the productivity and assure the quality
in quantum SW development
Shows the application of formal methods, modelling languages, and reengineering
approaches to quantum software
Presents a set of quantum software environments, tools and frameworks
20k Accesses 71 Citations 4 Altmetric
This is a preview of subscription content, log in via an institution to check
access.
https://link.springer.com/book/10.1007/978-3-031-05324-5?utm_campaign=CONR_BOOKS_ECOM_UK_PHSS_ALWYS_SL&source=shoppingad… 1/9
07/12/2024, 18:37 Quantum Software Engineering | SpringerLink
Access this book
Log in via an institution
eBook GBP 71.50
Price includes VAT (United Kingdom)
Available as PDF
Read on any device
Instant download
Own it forever
Buy eBook
Softcover Book GBP 89.99
Hardcover Book GBP 89.99
Tax calculation will be finalised at checkout
Other ways to access
Licence this eBook for your library
Institutional subscriptions
About this book
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
https://link.springer.com/book/10.1007/978-3-031-05324-5?utm_campaign=CONR_BOOKS_ECOM_UK_PHSS_ALWYS_SL&source=shoppingad… 2/9
07/12/2024, 18:37 Quantum Software Engineering | SpringerLink
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®, 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.
Similar content being viewed by others
Quantum software Automated quantum
engineering and Quantum Software software engineering
quantum software Engineering Issues and
development lifecycle… Challenges: Insights
from Practitioners
Article Open access Chapter © 2024 Article Open access
25 March 2024 12 April 2024
https://link.springer.com/book/10.1007/978-3-031-05324-5?utm_campaign=CONR_BOOKS_ECOM_UK_PHSS_ALWYS_SL&source=shoppingad… 3/9
Keywords
07/12/2024, 18:37 Quantum Software Engineering | SpringerLink
Quantum Computing Scientific Computing Quantum Algorithms
Software Engineering Software Development Software Testing
QuantumPath® Classiq
Search within this book
Search
Table of contents (15 chapters)
Front Matter
Pages i-xxviii Download chapter PDF
Quantum Computing Foundations
Elías F. Combarro
Pages 1-24
Quantum Software Engineering Landscape and Challenges
Mario Piattini, Juan Manuel Murillo
Pages 25-38
Quantum Information Technology Governance System
Miguel Ángel Blanco, Manuel Serrano
Pages 39-59
https://link.springer.com/book/10.1007/978-3-031-05324-5?utm_campaign=CONR_BOOKS_ECOM_UK_PHSS_ALWYS_SL&source=shoppingad… 4/9
07/12/2024, 18:37 Quantum Software Engineering | SpringerLink
Quantum Software Development Lifecycle
Benjamin Weder, Johanna Barzen, Frank Leymann, Daniel Vietz
Pages 61-83
Formal Methods for Quantum Software Engineering
Carmelo R. Cartiere
Pages 85-101
A Quantum Software Modeling Language
Carlos A. Pérez-Delgado
Pages 103-119
Quantum Software Models: Density Matrix for Universal Software Design
Iaakov Exman, Alon Tsalik Shmilovich
Pages 121-148
Quantum Service-Oriented Architectures: From Hybrid Classical Approaches
to Future Stand-Alone Solutions
David Valencia, Enrique Moguel, Javier Rojo, Javier Berrocal, Jose Garcia-Alonso, Juan M. Murillo
Pages 149-166
Quantum Software Testing: Current Trends and Emerging Proposals
Antonio García de la Barrera, Ignacio García-Rodríguez de Guzmán, Macario Polo, José A. Cruz-Lemus
Pages 167-191
Quantum Software Measurement
Miguel-Angel Sicilia, Marçal Mora-Cantallops, Salvador Sánchez-Alonso, Elena García-Barriocanal
Pages 193-208
https://link.springer.com/book/10.1007/978-3-031-05324-5?utm_campaign=CONR_BOOKS_ECOM_UK_PHSS_ALWYS_SL&source=shoppingad… 5/9
07/12/2024, 18:37 Quantum Software Engineering | SpringerLink
Quantum Software Modernization
Luis Jiménez-Navajas, Ricardo Pérez-Castillo, Mario Piattini
Pages 209-228
Quantum Software Tools Overview
José A. Cruz-Lemus, Manuel A. Serrano
Pages 229-250
Quantum Software Development with QuantumPath®
Guido Peterssen, Jose Luis Hevia, Mario Piattini
Pages 251-268
Quantum Software Development with Classiq
Nir Minerbi
Pages 269-280
Quantum Software Frameworks for Deep Learning
Filipa Ramos Ferreira, João Paulo Fernandes, Rui Abreu
Pages 281-302
Back to top
Editors and Affiliations
aQuantum, University of Castilla-La Mancha (UCLM), Ciudad Real, Spain
Manuel A. Serrano, Mario Piattini
aQuantum, University of Castilla-La Mancha (UCLM), Talavera de la Reina,
Spain
https://link.springer.com/book/10.1007/978-3-031-05324-5?utm_campaign=CONR_BOOKS_ECOM_UK_PHSS_ALWYS_SL&source=shoppingad… 6/9
07/12/2024, 18:37 Quantum Software Engineering | SpringerLink
Ricardo Pérez-Castillo
About the editors
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 informationsystems. 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.
https://link.springer.com/book/10.1007/978-3-031-05324-5?utm_campaign=CONR_BOOKS_ECOM_UK_PHSS_ALWYS_SL&source=shoppingad… 7/9
Bibliographic Information
07/12/2024, 18:37 Quantum Software Engineering | SpringerLink
Book Title Editors DOI
Quantum Software Manuel A. Serrano, Ricardo https://doi.org/10.1007/9
Engineering Pérez-Castillo, Mario 78-3-031-05324-5
Piattini
Publisher eBook Packages Copyright Information
Springer Cham Computer Science, The Editor(s) (if applicable)
Computer Science (R0) and The Author(s), under
exclusive license to
Springer Nature
Switzerland AG 2022
Hardcover ISBN Softcover ISBN eBook ISBN
978-3-031-05323-8 978-3-031-05326-9 978-3-031-05324-5
Published: 13 October 2022 Published: 14 October 2023 Published: 12 October 2022
Edition Number Number of Pages Number of Illustrations
1 XXVIII, 302 52 b/w illustrations, 89
illustrations in colour
Topics
Software
Engineering/Programming
and Operating Systems,
Quantum Computing
Publish with us
Policies and ethics
Back to top
https://link.springer.com/book/10.1007/978-3-031-05324-5?utm_campaign=CONR_BOOKS_ECOM_UK_PHSS_ALWYS_SL&source=shoppingad… 8/9
07/12/2024, 18:37 Quantum Software Engineering | SpringerLink
https://link.springer.com/book/10.1007/978-3-031-05324-5?utm_campaign=CONR_BOOKS_ECOM_UK_PHSS_ALWYS_SL&source=shoppingad… 9/9
