Overview
- This book is open access, which means that you have free and unlimited access
- Explains the state of the art in quantum software theory, engineering and design, independent from a specific hardware
- Shows how to apply classic SWE topics like agile approaches, validation, measurement, or deployment on quantum software
- Details several examples of quantum software applications and corresponding laboratory experiences
Buy print copy
Tax calculation will be finalised at checkout
About this book
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.
Keywords
Table of contents (14 chapters)
-
Aspects of Quantum Software Theory
-
Quantum Software System Design
-
Quantum Software Laboratory
Editors and Affiliations
About the editors
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.
Bibliographic Information
Book Title: Quantum Software
Book Subtitle: Aspects of Theory and System Design
Editors: Iaakov Exman, Ricardo PĂ©rez-Castillo, Mario Piattini, Michael Felderer
DOI: https://doi.org/10.1007/978-3-031-64136-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s) 2024
Hardcover ISBN: 978-3-031-64135-0Published: 23 August 2024
Softcover ISBN: 978-3-031-64138-1Due: 06 September 2025
eBook ISBN: 978-3-031-64136-7Published: 22 August 2024
Edition Number: 1
Number of Pages: XVII, 355
Number of Illustrations: 16 b/w illustrations, 99 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Quantum Computing