Quantum Software Engineering

Index

• Overview
• Software Requirements
• Software Design
• Software Testing
• Software Maintenance
• Software Engineering Processes
• Software Engineering Models and Methods
• Software Quality

• A systematic mapping on quantum software development in the context of software engineering
• Quantum service oriented computing: current landscape and challenges
• Quantum Software Engineering. Landscapes and horizons
• Quantum Computing: A New Software Engineering Golden Age.
• Software Architecture for Quantum Computing Systems - ASystematic Review
• Toward a Quantum Software Engineering
• Talavera Manifesto

• Systematic Review on Requirements Engineering in Quantum Computing: Insights and Future Directions
• Toward a standardized methodology for constructing quantum computing use cases.

• Formal Methods
• Formal Methods for Quantum Programs: A Survey
• Formal Quantum Software Engineering.
• Modularity
• On the Definition of Quantum Programming Modules
• Quantum Software Models: The Density Matrix for Classical and Quantum Software Systems Design

• Identifying Bug Patterns in Quantum Programs
• NOISE-AWARE QUANTUM SOFTWARE TESTING
• On Testing Quantum Programs
• QDB: From Quantum Algorithms Towards Correct Quantum Programs
• Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing

• Software modernization to embrace quantum technology

• Life Cycles
• Full-Stack Quantum Software in Practice: Ecosystem, Stakeholders and Challenges
• QDLC - The Quantum Development Life Cycle
• The Quantum Software Lifecycle

• UML
• Design of classical-quantum systems with UML
• Embracing Iterations in Quantum Software: A Vision
• Modelling Quantum Circuits with UML
• Towards a Quantum Software Modeling Language
• Other
• A Graph-Based Approach for Modelling Quantum Circuits

• Formal Verification
• Advanced Equivalence Checking for Quantum Circuits.
• Deductive Verification Framework for Circuit-building Quantum Programs
• Formal Verification of antum Programs: Theory, Tools and Challenges
• Relational Proofs for Quantum Programs.
• Research Statement: Languages, Verification and Compilation for the Quantum Era.
• QWIRE Practice: Formal Verification of Quantum Circuits in Coq.14th International Conference on Quantum Physics and Logic (QPL).
• Verification of quantum computation: An overview of existing approaches. Theory of Computing systems.
• Metrics
• Some Size and Structure Metrics for Quantum Software
• On the source code structure of quantum code
• Other Quality Aspects
• Quantum Computing Platforms: Assessing Impact on Quality Attributes and SDLC Activities
• The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing
• Q-COSMIC: Quantum Software Metrics Based on COSMIC (ISO/IEC19761)