1.

Record Nr.

UNINA9910882893903321

Titolo

Quantum Software : Aspects of Theory and System Design / / edited by Iaakov Exman, Ricardo PĂ©rez-Castillo, Mario Piattini, Michael Felderer

Pubbl/distr/stampa

Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024

ISBN

3-031-64136-1

Edizione

[1st ed. 2024.]

Descrizione fisica

1 online resource (XVII, 355 p. 115 illus., 99 illus. in color.)

Disciplina

005.1

Soggetti

Software engineering

Quantum computers

Software Engineering

Quantum Computing

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di contenuto

1. A Novel Perception of Quantum Software -- Part 1: Aspects of Quantum Software Theory -- 2. Simulating Quantum Software with Density Matrices -- 3. Superoperators for Quantum Software Engineering -- Part II: Quantum Software System Design -- 4. QSandbox: The Agile Quantum Software Sandbox -- 5. Verification and Validation of Quantum Software -- 6. Quantum Software Quality Metrics -- 7. Quantum Software Ecosystem Design -- 8. Development and Deployment of Quantum Services -- 9. Engineering Hybrid Software Systems -- Part III: Quantum Software Laboratory -- 10. Trapped-Ion Quantum Computing -- 11. Quantum Software Engineering & Programming Applied to Personalized Pharmacogenomics -- 12. Challenges for Quantum Software Engineering -- 13. Quantum Software Engineering Issues and Challenges.

Sommario/riassunto

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.