Towards Quantum Software Requirements Engineering

• URL: http://arxiv.org/abs/2309.13358v1
• Date: Sat, 23 Sep 2023 12:34:04 GMT
• Title: Towards Quantum Software Requirements Engineering
• Authors: Tao Yue, Shaukat Ali, Paolo Arcaini
• Abstract summary: In the literature, quantum software requirements engineering (QSRE) is still a software engineering area that is relatively less investigated. We provide an initial set of thoughts about how requirements engineering for quantum software might differ from that for classical software.
• Score: 9.987981195069619
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Quantum software engineering (QSE) is receiving increasing attention, as evidenced by increasing publications on topics, e.g., quantum software modeling, testing, and debugging. However, in the literature, quantum software requirements engineering (QSRE) is still a software engineering area that is relatively less investigated. To this end, in this paper, we provide an initial set of thoughts about how requirements engineering for quantum software might differ from that for classical software after making an effort to map classical requirements classifications (e.g., functional and extra-functional requirements) into the context of quantum software. Moreover, we provide discussions on various aspects of QSRE that deserve attention from the quantum software engineering community.

Related papers

• Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead [10.622924726374492]
  Researchers are addressing the challenges of Quantum Software Engineering. This analysis is used to identify needed breakthroughs and future research directions for Quantum Software Engineering. In this work, a set of active researchers is currently addressing the challenges of Quantum Software Engineering.
  arXiv  Detail & Related papers  (2024-04-10T08:24:53Z)
• Advancing Quantum Software Engineering: A Vision of Hybrid Full-Stack Iterative Model [5.9478154558776435]
  This paper introduces a vision for Quantum Software Develop- ment lifecycle. It proposes a hybrid full-stack iterative model that integrates quantum and classical computing.
  arXiv  Detail & Related papers  (2024-03-18T11:18:33Z)
• The QUATRO Application Suite: Quantum Computing for Models of Human Cognition [49.038807589598285]
  We unlock a new class of applications ripe for quantum computing research -- computational cognitive modeling. We release QUATRO, a collection of quantum computing applications from cognitive models.
  arXiv  Detail & Related papers  (2023-09-01T17:34:53Z)
• Quantum Software Engineering Challenges from Developers' Perspective: Mapping Research Challenges to the Proposed Workflow Model [5.287156503763459]
  Software engineering of quantum programs can be approached from two directions. In this paper, we aim at bridging the gap by starting with the quantum computing workflow and by mapping existing software engineering research to this workflow.
  arXiv  Detail & Related papers  (2023-08-02T13:32:31Z)
• Quantum Machine Learning: from physics to software engineering [58.720142291102135]
  We show how classical machine learning approach can help improve the facilities of quantum computers. We discuss how quantum algorithms and quantum computers may be useful for solving classical machine learning tasks.
  arXiv  Detail & Related papers  (2023-01-04T23:37:45Z)
• Assessing requirements to scale to practical quantum advantage [56.22441723982983]
  We develop a framework for quantum resource estimation, abstracting the layers of the stack, to estimate resources required for large-scale quantum applications. We assess three scaled quantum applications and find that hundreds of thousands to millions of physical qubits are needed to achieve practical quantum advantage. A goal of our work is to accelerate progress towards practical quantum advantage by enabling the broader community to explore design choices across the stack.
  arXiv  Detail & Related papers  (2022-11-14T18:50:27Z)
• Recent Advances for Quantum Neural Networks in Generative Learning [98.88205308106778]
  Quantum generative learning models (QGLMs) may surpass their classical counterparts. We review the current progress of QGLMs from the perspective of machine learning. We discuss the potential applications of QGLMs in both conventional machine learning tasks and quantum physics.
  arXiv  Detail & Related papers  (2022-06-07T07:32:57Z)
• On exploring the potential of quantum auto-encoder for learning quantum systems [60.909817434753315]
  We devise three effective QAE-based learning protocols to address three classically computational hard learning problems. Our work sheds new light on developing advanced quantum learning algorithms to accomplish hard quantum physics and quantum information processing tasks.
  arXiv  Detail & Related papers  (2021-06-29T14:01:40Z)
• Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
  We propose a resource and runtime efficient scheme termed quantum architecture search (QAS) QAS automatically seeks a near-optimal ansatz to balance benefits and side-effects brought by adding more noisy quantum gates. We implement QAS on both the numerical simulator and real quantum hardware, via the IBM cloud, to accomplish data classification and quantum chemistry tasks.
  arXiv  Detail & Related papers  (2020-10-20T12:06:27Z)
• Quantum Software Engineering: Landscapes and Horizons [1.7704011486040847]
  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.
  arXiv  Detail & Related papers  (2020-07-14T14:13:44Z)
• Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving [6.535889545025831]
  We perform a case study on how to augment existing software with quantum computational primitives for the Boolean satisfiability problem (SAT) implemented using a quantum annealer (QA) We discuss relevant quality measures for quantum components, and show that mathematically equivalent, but structurally different ways of transforming SAT to a QA can lead to substantial differences regarding these qualities.
  arXiv  Detail & Related papers  (2020-05-11T22:20:17Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.