arXiv (Cornell University) · 2020 · 118 citations · 154 references
ComputingComputer ScienceQuantum ComputingRequirements EngineeringSoftware EngineeringQuantum AlgorithmsQuantum CompilationQuantum ComputationQuantum MeasurementQuantum Programming LanguagesQuantum SimulationQuantum Computing ArchitectureQuantum DebuggingQuantum Program TransformationQuantum Program VerificationQuantum Programming ModelsQuantum Programming SemanticsReuse In Software EngineeringSoftware Component Reuse
Quantum software is essential for realizing quantum computing potential and has attracted growing attention. The paper defines quantum software engineering, outlines its life cycle, and surveys current practices while highlighting challenges and opportunities. The survey reviews technologies across all phases of the quantum software life cycle—requirements, design, implementation, testing, and maintenance—and addresses reuse and measurement issues.
Quantum software plays a critical role in exploiting the full potential of quantum computing systems. As a result, it has been drawing increasing attention recently. This paper defines the term "quantum software engineering" and introduces a quantum software life cycle. The paper also gives a generic view of quantum software engineering and discusses the quantum software engineering processes, methods, and tools. Based on these, the paper provides a comprehensive survey of the current state of the art in the field and presents the challenges and opportunities we face. The survey summarizes the technology available in the various phases of the quantum software life cycle, including quantum software requirements analysis, design, implementation, test, and maintenance. It also covers the crucial issues of quantum software reuse and measurement.
154
<i>Quantum Computation and Quantum Information</i>
Michael A. Nielsen, Isaac L. Chuang, Lov K. Grover · American Journal of Physics · 2002 · 22.7K citations
Algorithms for quantum computation: discrete logarithms and factoring
Peter W. Shor · 2002 · 8.5K citations
Computing, Computer Science, Physics +12
Simulating physics with computers
Richard P. Feynman · International Journal of Theoretical Physics · 1982 · 7.5K citations
Quantum cryptography: Public key distribution and coin tossing
C. H. Bennett · arXiv (Cornell University) · 2020 · 5.4K citations · Full text
Computing, Computer Science, Physics +15