English
Related papers

Related papers: Formal Quantum Software Engineering: Introducing t…

200 papers

Quantum computing is a new computational paradigm with the potential to solve certain computationally challenging problems much faster than traditional approaches. Civil engineering encompasses many computationally challenging problems,…

Emerging Technologies · Computer Science 2024-03-29 Joern Ploennigs , Markus Berger , Martin Mevissen , Kay Smarsly

Quantum computers (QCs) are maturing. When QCs are powerful enough, they may be able to handle problems in chemistry, physics, and finance that are not classically solvable. However, the applicability of quantum algorithms to speed up…

Software Engineering · Computer Science 2022-11-15 Andriy Miranskyy , Mushahid Khan , Jean Paul Latyr Faye , Udson C. Mendes

Quantum computing is an emerging computational paradigm that leverages the laws of quantum mechanics to perform elementary logic operations. Existing programming models for quantum computing were designed with fault-tolerant hardware in…

Programming Languages · Computer Science 2019-09-06 Tiffany M. Mintz , Alexander J. Mccaskey , Eugene F. Dumitrescu , Shirley V. Moore , Sarah Powers , Pavel Lougovski

With the advance in quantum computing, quantum software becomes critical for exploring the full potential of quantum computing systems. Recently, quantum software engineering (QSE) becomes an emerging area attracting more and more…

Software Engineering · Computer Science 2022-05-09 Mohamed Raed El aoun , Heng Li , Foutse Khomh , Moses Openja

Quantum Computing (QC) refers to an emerging paradigm that inherits and builds with the concepts and phenomena of Quantum Mechanic (QM) with the significant potential to unlock a remarkable opportunity to solve complex and computationally…

The digitization of healthcare presents numerous challenges, including the complexity of biological systems, vast data generation, and the need for personalized treatment plans. Traditional computational methods often fall short, leading to…

Emerging Technologies · Computer Science 2025-07-25 Markus Bertl , Alan Mott , Salvatore Sinno , Bhavika Bhalgamiya

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…

Software Engineering · Computer Science 2022-01-03 Jianjun Zhao

Quantum mechanics, the fundamental theory that governs the behaviour of matter and energy at microscopic scales, forms the foundation of quantum computing and quantum information science. As quantum technologies progress, software engineers…

Software Engineering · Computer Science 2025-02-25 Arvind W Kiwelekar

Quantum computing is an emerging paradigm that opens a new era for exponential computational speedup. Still, quantum computers have yet to be ready for commercial use. However, it is essential to train and qualify today the workforce that…

Quantum Physics · Physics 2022-10-28 Evandro C. R. da Rosa , Claudio Lima

Quantum computing, leveraging quantum phenomena like superposition and entanglement, is emerging as a transformative force in computing technology, promising unparalleled computational speed and efficiency crucial for engineering…

Quantum Physics · Physics 2024-08-30 Osama Muhammad Raisuddin , Suvranu De

With the potential of quantum algorithms to solve intractable classical problems, quantum computing is rapidly evolving and more algorithms are being developed and optimized. Expressing these quantum algorithms using a high-level language…

Quantum Physics · Physics 2020-05-28 N. Khammassi , I. Ashraf , J. v. Someren , R. Nane , A. M. Krol , M. A. Rol , L. Lao , K. Bertels , C. G. Almudever

With recent advances in the development of more powerful quantum computers, the re-search area of quantum software engineering is emerging. Quantum software plays a critical role in exploiting the full potential of quantum computing…

Software Engineering · Computer Science 2022-09-13 Muhammad Azeem Akbar , Saima Rafi , Arif Ali Khan

Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lambda calculi, and linear logic), and engineering attempts to…

Programming Languages · Computer Science 2008-12-18 Donald A. Sofge

QSE is emerging as a critical discipline to make quantum computing accessible to a broader developer community; however, most quantum development environments still require developers to engage with low-level details across the software…

Software Engineering · Computer Science 2026-03-17 Boshuai Ye , Arif Ali Khan , Teemu Pihkakoski , Peng Liang , Muhammad Azeem Akbar , Matti Silveri , Lauri Malmi

Quantum computing leverages the principles of quantum mechanics to perform computations far beyond the capabilities of classical systems, particularly in fields such as cryptography and optimization. However, current quantum programming…

Programming Languages · Computer Science 2025-03-18 Simone Faro , Francesco Pio Marino , Gabriele Messina

Quantum computing is increasingly practiced through programming, yet most educational offerings emphasize algorithmic or framework-level use rather than software engineering concerns such as testing, abstraction, tooling, and lifecycle…

Software Engineering · Computer Science 2026-04-28 Andriy Miranskyy

Context: Quantum computing (QC) represents a paradigm shift in computational capabilities, presenting unique challenges in requirements engineering (RE). The complexity of quantum systems and rapid technological advancements necessitate a…

Software Engineering · Computer Science 2023-11-23 Samuel Sepúlveda , Ania Cravero

This study examines the simulation of quantum algorithms on a classical computer. The program code implemented on a classical computer will be a straight connection between the mathematical formulation of quantum mechanics and computational…

Quantum Physics · Physics 2007-06-13 Peter Nyman

Quantum computing is a promising approach of computation that is based on equations from Quantum Mechanics. A simulator for quantum algorithms must be capable of performing heavy mathematical matrix transforms. The design of the simulator…

Emerging Technologies · Computer Science 2013-02-25 A. S. Tolba , M. Z. Rashad , M. A. El-Dosuky

Q# is a standalone domain-specific programming language from Microsoft for writing and running quantum programs. Like most industrial languages, it was designed without a formal specification, which can naturally lead to ambiguity in its…

Programming Languages · Computer Science 2023-11-16 Kartik Singhal , Kesha Hietala , Sarah Marshall , Robert Rand