Quantum Software Engineering
Index
Overview
- 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
Software Requirements
Software Design
- Formal Methods
- Modularity
Software Testing
- QDB: From Quantum Algorithms Towards Correct Quantum Programs
- Identifying Bug Patterns in Quantum Programs
- On Testing Quantum Programs
Software Maintenance
Software Engineering Processes
Software Engineering Models and Methods
- UML
Software Quality
- 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
- Other Quality Aspects