Electronics · 2024 · 21 citations · 49 references
ComputingComputer ScienceQuantum ComputingRequirements EngineeringSoftware EngineeringQuantum ComputationQuantum Programming LanguagesQuantum SimulationRequirements AnalysisRequirements SpecificationQuantum Programming ModelsRequirements RefinementSystematic Review Automation
Context: Quantum software development is a complex and intricate process that diverges significantly from traditional software development. Quantum computing and quantum software are deeply entangled with quantum mechanics, which introduces a different level of abstraction and a deep dependence on quantum physical properties. The classical requirements engineering methods must be adapted to encompass the essential quantum features in this new paradigm. Aim: This study aims to systematically identify and analyze challenges, opportunities, developments, and new lines of research in requirements engineering for quantum computing. Method: We conducted a systematic literature review, including three research questions. This study included 105 papers published from 2017 to 2024. Results: The main results include the identification of problems associated with defining specific requirements for quantum software and hybrid system requirements. In addition, we identified challenges related to the absence of standards for quantum requirements engineering. Finally, we can see the advances in developing programming languages and simulation tools for developing software in hybrid systems. Conclusions: This study presents the challenges and opportunities in quantum computing requirements engineering, emphasizing the need for new methodologies and tools. It proposes a roadmap for future research to develop a standardized framework, contributing to theoretical foundations and practical applications.
49
The PRISMA 2020 statement: an updated guideline for reporting systematic reviews
Matthew J. Page, Joanne E. McKenzie, Patrick M. Bossuyt et al. · BMJ · 2021 · 95K citations · Full text
Ryszard Horodecki, Paweł Horodecki, Michał Horodecki et al. · Reviews of Modern Physics · 2009 · 10K citations · Full text
Computing, Physics, Cryptography +16
A fast quantum mechanical algorithm for database search
Lov K. Grover · 1996 · 8.6K citations · Full text
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