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 Software Engineering. Landscapes and horizons
• Quantum Computing: A New Software Engineering Golden Age.
• Toward a Quantum Software Engineering
• Talavera Manifesto

• Use Cases
• Toward a standardized methodology for constructing quantum computing use cases.

• Formal Methods
• 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

• QDB: From Quantum Algorithms Towards Correct Quantum Programs
• Identifying Bug Patterns in Quantum Programs
• On Testing Quantum Programs

• Software modernization to embrace quantum technology

• Life Cycles
• QDLC - The Quantum Development Life Cycle
• The Quantum Software Lifecycle

• UML
• Towards a Quantum Software Modeling Language.
• Modelling Quantum Circuits with UML

• 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