[doi].pdf

Quantum computing is moving from theoretical to practical applications, bringing performance efficiency improvements. The goal is to discuss non-functional requirements for quantum programs, analyzing hardware-related constraints and deriving generic non-functional requirements. Five performance efficiency and reliability-related non-functional requirements were identified for quantum programs, along with available solution options to address these requirements. Quantum software engineering is an emerging area aiming to bring software engineering principles to quantum computing, with a need for controlled and industrial development of quantum software. Non-functional requirements describe non-behavioral aspects of a system, capturing properties and constraints under which it must operate, and are typically documented textually, either quantified or non-quantified. Quantum algorithms often ignore device-specific requirements, but quantum computers have properties that must be accounted for when running programs on real devices, influencing requirements analysis.