Abstract
Quantum software is becoming a key enabler for applying quantum computing to industrial use cases. This poses challenges to quantum software engineering in providing efficient and effective means to develop such software. Eventually, this must be reliably achieved in time, on budget, and in quality, using sound and well-principled engineering approaches. Given that quantum computers are based on fundamentally different principles than classical machines, this raises the question if, how, and to what extent established techniques for systematically engineering software need to be adapted. In this chapter, we analyze three paradigmatic application scenarios for quantum software engineering from an industrial perspective. The respective use cases center around (1) optimization and quantum cloud services, (2) quantum simulation, and (3) embedded quantum computing. Our aim is to provide a concise overview of the current and future applications of quantum computing in diverse industrial settings. We derive presumed challenges for quantum software engineering and thus provide research directions for this emerging field.
Chapter PDF
Keywords
References
Aaronson, S.: Quantum Computing Since Democritus. Cambridge University Press, USA (2013). ISBN:0521199565
Abreu, R., et al.: Metamorphic Testing of Oracle Quantum Programs. In: 2022 IEEE/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE), pp. 16–23 (2022). https://doi.org/10.1145/3528230.3529189
Akshay, V., et al.: Reachability deficits in quantum approximate optimization. Phys. Rev. Lett. 124(9), 090504 (Mar. 2020). https://doi.org/10.1103/PhysRevLett.124.090504. https://link.aps.org/doi/10.1103/PhysRevLett.124.090504
Alam, M., Ash-Saki, A., Ghosh, S.: Design-Space Exploration of Quantum Approximate Optimization Algorithm under Noise. In: 2020 IEEE Custom Integrated Circuits Conference (CICC), pp. 1–4 (2020). https://doi.org/10.1109/CICC48029.2020.9075903
Algaba, M.G., et al.: Co-design quantum simulation of nanoscale NMR. Phys. Rev. Res. 4(4), 043089 (Nov. 2022). https://doi.org/10.1103/PhysRevResearch.4.043089. https://link.aps.org/doi/10.1103/PhysRevResearch.4.043089
Ali, S., Yue, T., Abreu, R.: When software engineering meets quantum computing. Commun. ACM 65(4), 84–88 (Mar. 2022). ISSN:0001-0782. https://doi.org/10.1145/3512340
Altman, E., et al.: Quantum simulators: Architectures and opportunities. PRX Quantum 2(1), 017003 (2021)
Antonino, P.O., et al.: Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes. In: Cuesta, C.E., Garlan, D., Pérez, J. (eds.) Software Architecture, pp. 115–130. Springer International Publishing, Cham (2018). ISBN:978-3-030-00761-4
Awasthi, A., et al.: Quantum Computing Techniques for Multi-Knapsack Problems (2023). https://doi.org/10.48550/ARXIV.2301.05750. https://arxiv.org/abs/2301.05750
Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. SEI Series in Software Engineering. Addison-Wesley (2003). ISBN:9780321154958
Bayerstadler, A., et al.: Industry quantum computing applications. EPJ Quantum Technol. 8(1), (Nov. 2021). https://doi.org/10.1140/epjqt/s40507-021-00114-x. https://epjquantumtechnology.springeropen.com/track/pdf/10.1140/epjqt/s40507-021-00114-x.pdf
Becker, C.K.-U., Gheorghe-Pop, I.-D., Tcholtchev, N.: A Testing Pipeline for Quantum Computing Applications. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)
Bharti, K., et al.: Noisy intermediate-scale quantum algorithms. Rev. Mod. Phys. 94(1), 015004 (Feb. 2022). https://doi.org/10.1103/RevModPhys.94.015004. https://link.aps.org/doi/10.1103/RevModPhys.94.015004
Bichsel, B., et al.: Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020, pp. 286–300. Association for Computing Machinery, London, UK (2020). ISBN:9781450376136. https://doi.org/10.1145/3385412.3386007
Bittner, T., Groppe, S.: Avoiding Blocking by Scheduling Transactions Using Quantum Annealing. In: Proceedings of the 24th Symposium on International Database Engineering & Applications, IDEAS ’20. Association for Computing Machinery, Seoul, Republic of Korea (2020). ISBN:9781450375030. https://doi.org/10.1145/3410566.3410593
Blatt, R., Roos, C.F.: Quantum simulations with trapped ions. Nature Phys. 8(4), 277–284 (2012)
Blekos, K., et al.: A Review on Quantum Approximate Optimization Algorithm and Its Variants (2023). arXiv:2306.09198 [quant-ph]
Buluta, I., Nori, F.: Quantum simulators. Science 326(5949), 108–111 (2009). https://doi.org/10.1126/science.1177838. eprint: https://www.science.org/doi/pdf/10.1126/science.1177838. https://www.science.org/doi/abs/10.1126/science.1177838
Business Value II for: The Quantum Decade: A Playbook for Achieving Awareness, Readiness, and Advantage. IBM Institute for Business Value (2021). ISBN:9781737401100. https://books.google.de/books?id=MeN%5C_zgEACAAJ
Cirac, J.I., Zoller, P.: Goals and opportunities in quantum simulation. Nature Phys. 8(4), 264–266 (2012). https://doi.org/10.1038/nphys2275
Cross, A., et al.: OpenQASM 3: A broader and deeper quantum assembly language. ACM Trans. Quantum Comput. 3(3), (Sept. 2022). ISSN:2643-6809. https://doi.org/10.1145/3505636
Cubitt, T.S., Perez-Garcia, D., Wolf, M.M.: Undecidability of the spectral gap. Nature 528(7581), 207–211 (2015). https://doi.org/10.1038/nature16059
D-Wave Systems Inc.: D-Wave Systems Leap Cloud Service (2023). https://cloud.dwavesys.com/leap/ visited 2023-03-03
De Andoin, M.G., et al.: Comparative Benchmark of a Quantum Algorithm for the Bin Packing Problem. In: 2022 IEEE Symposium Series on Computational Intelligence (SSCI), pp. 930–937. IEEE (2022)
Deb, A., Dueck, G.W., Wille, R.: Exploring the potential benefits of alternative quantum computing architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(9), 1825–1835 (2020)
Delgado, A., et al.: Simulating key properties of lithium-ion batteries with a fault-tolerant quantum computer. Phys. Rev. A 106(3), 032428 (Sept. 2022). https://doi.org/10.1103/PhysRevA.106.032428. https://link.aps.org/doi/10.1103/PhysRevA.106.032428
Deng, Y.-H., et al.: Solving graph problems using Gaussian Boson sampling. Phys. Rev. Lett. 130(19), 190601 (May 2023). https://doi.org/10.1103/PhysRevLett.130.190601. https://link.aps.org/doi/10.1103/PhysRevLett.130.190601
Deshpande, A.: Assessing the quantum-computing landscape. Commun. ACM 65(10), 57–65 (2022)
Dey, N., et al.: QDLC – The Quantum Development Life Cycle (2020). arXiv:2010.08053 [cs.ET]
Ding, Y., et al.: Systematic Crosstalk Mitigation for Superconducting Qubits via Frequency-Aware Compilation. In: 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), pp. 201–214 (2020). https://doi.org/10.1109/MICRO50266.2020.00028
Elben, A., et al.: The randomized measurement toolbox. Nature Rev. Phys. 5(1), 9–24 (2023). https://doi.org/10.1038/s42254-022-00535-2
Evans, A., et al.: MCBeth: A Measurement Based Quantum Programming Language (2022). arXiv:2204.10784 [cs.PL]
Farhi, E., Goldstone, J., Gutmann, S.: A Quantum Approximate Optimization Algorithm (2014). https://doi.org/10.48550/ARXIV.1411.4028. https://arxiv.org/abs/1411.4028
Fedorov, D.A., et al.: VQE method: a short survey and recent developments. Mater. Theory 6(1), 2 (2022). https://doi.org/10.1186/s41313-021-00032-6
Feng, Y., Duan, R., Ying, M.: Bisimulation for quantum processes. ACM Trans. Program. Lang. Syst. 34(4), (2012). https://doi.org/10.1145/2400676.2400680
Fortnow, L.: One Complexity Theorist’s View of Quantum Computing. In: Electronic Notes in Theoretical Computer Science. 31 CATS 2000 Computing: the Australasian Theory Symposium, pp. 58–72 (2000). ISSN:1571-0661. https://doi.org/10.1016/S1571-0661(05)80330-5. https://www.sciencedirect.com/science/article/pii/S1571066105803305
Furutanpey, A., et al.: Architectural Vision for Quantum Computing in the Edge-Cloud Continuum. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)
Garcìa de la Barrera, A., et al.: Quantum software testing: State of the art. J. Software Evol. Process 35(4), e2419 (2023). https://doi.org/10.1002/smr.2419. https://onlinelibrary.wiley.com/doi/abs/10.1002/smr.2419
Gemeinhardt, F.G., Wille, R., Wimmer, M.: Quantum k-community detection: algorithm proposals and cross-architectural evaluation. Quantum Inf. Process. 20(9), 302 (2021)
Georgescu, I.M., Ashhab, S., Nori, F.: Quantum simulation. Rev. Modern Phys. 86(1), 153 (2014)
Gerhold, M., Stoelinga, M.: Model-based testing of probabilistic systems. Formal Aspects Comput. 30(1), 77–106 (Jan. 2018). ISSN:0934-5043. https://doi.org/10.1007/s00165-017-0440-4
Girbal, S., et al.: On the convergence of mainstream and mission-critical markets. In: 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC), pp. 1–10 (May 2013). https://doi.org/10.1145/2463209.2488962
Greiwe, F., Krüger, T., Mauerer, W.: Effects of Imperfections on Quantum Algorithms: A Software Engineering Perspective. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)
Hangleiter, D., Eisert, J.: Computational advantage of quantum random sampling. Rev. Modern Phys. 95(3), (July 2023). https://doi.org/10.1103/revmodphys.95.035001
Heckemann, K., et al.: Safe Automotive Software. In: König, A., et al. (eds.) Knowledge-Based and Intelligent Information and Engineering Systems, pp. 167–176. Springer, Berlin, Heidelberg (2011). ISBN:978-3-642-23866-6
Herrmann, N., et al.: Quantum Utility—Definition and Assessment of a Practical Quantum Advantage. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)
Klamroth, J., et al.: QIn: Enabling Formal Methods to Deal with Quantum Circuits. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)
Kole, A., et al.: Improved mapping of quantum circuits to IBM QX architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(10), 2375–2383 (2019)
Kreppel, F., et al.: Quantum Circuit Compiler for a Shuttling-Based Trapped-Ion Quantum Computer (2022). https://doi.org/10.48550/ARXIV.2207.01964. https://arxiv.org/abs/2207.01964
Krüger, T., Mauerer, W.: Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving (2020). Q-SE@ICSE. https://arxiv.org/abs/2005.05465
Lamata, L., et al.: Digital-analog quantum simulations with superconducting circuits. Adv. Phys. X 3(1), 1457981 (2018). https://doi.org/10.1080/23746149.2018.1457981
Li, G., et al.: On the Co-Design of Quantum Software and Hardware. In: Proceedings of the Eight Annual ACM International Conference on Nanoscale Computing and Communication NANOCOM ’21 Association for Computing Machinery, Virtual Event, Italy (2021). ISBN:9781450387101. https://doi.org/10.1145/3477206.3477464
Liu, J., et al.: Noise can be helpful for variational quantum algorithms (Oct. 2022). arXiv: 2210.06723 [quant-ph]
Lloyd, S.: Universal quantum simulators. Science 273(5278), 1073–1078 (1996). https://doi.org/10.1126/science.273.5278.1073. eprint: https://www.science.org/doi/pdf/10.1126/science.273.5278.1073. https://www.science.org/doi/abs/10.1126/science.273.5278.1073
Lobe, E., Stollenwerk, T.: QUARK (Feb. 2022). https://quantum-computing-software.gitlab.io/quark/
Lubinski, T., et al.: Advancing hybrid quantum-classical computation with real-time execution. Front. Phys. 10, (2022). ISSN:2296-424X. https://doi.org/10.3389/fphy.2022.940293. https://www.frontiersin.org/articles/10.3389/fphy.2022.940293
Marwedel, P.: Embedded System Design - Embedded Systems Foundations of Cyber-Physical Systems, Second Edition. Embedded Systems Springer (2011). ISBN: 978-94-007-0256-1. https://doi.org/10.1007/978-94-007-0257-8
Mauerer, W.: Semantics and simulation of communication in quantum programming (2005). https://doi.org/10.48550/ARXIV.QUANT-PH/0511145. https://arxiv.org/abs/quant-ph/0511145
Mauerer, W., Joblin, M., et al.: In search of socio-technical congruence: A large-scale longitudinal study. IEEE Trans. Software Eng. (01), 1–1 (May 2021). ISSN: 1939-3520. https://doi.org/10.1109/TSE.2021.3082074. https://www.computer.org/csdl/journal/ts/5555/01/09436025/1tJsglfkGru
Mauerer, W., Scherzinger, S.: 1-2-3 Reproducibility for Quantum Software Experiments. Q-SANER@IEEE International Conference on Software Analysis, Evolution and Reengineering (2022)
Medvidović, M., Carleo, G.: Classical variational simulation of the quantum approximate optimization algorithm. npj Quantum Inf. 7(1), 101 (2021)
Miranskyy, A., Zhang, L.: On Testing Quantum Programs. In: 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), pp. 57–60 (2019). https://doi.org/10.1109/ICSE-NIER.2019.00023
Morgado, M., Whitlock, S.: Quantum simulation and computing with Rydberg-interacting qubits. AVS Quantum Sci. 3(2), 023501 (June 2021). https://doi.org/10.1116/5.0036562
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)
Pashayan, H., Wallman, J.J., Bartlett, S.D.: Estimating outcome probabilities of quantum circuits using quasiprobabilities. Phys. Rev. Lett. 115(7), 070501(Aug. 2015). https://doi.org/10.1103/PhysRevLett.115.070501. https://link.aps.org/doi/10.1103/PhysRevLett.115.070501
Paudel, H.P., et al.: Quantum computing and simulations for energy applications: review and perspective. ACS Eng. Au 2(3), 151–196 (2022). https://doi.org/10.1021/acsengineeringau.1c00033
Peham, T., Burgholzer, L., Wille, R.: Equivalence checking paradigms in quantum circuit design: a case study. In: Oshana, R. (ed.) DAC ’22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10–14, 2022, pp. 517–522. ACM (2022). https://doi.org/10.1145/3489517.3530480
Perdomo-Ortiz, A., et al.: A quantum annealing approach for fault detection and diagnosis of graph-based systems. Eur. Phys. J. Special Top. 224, 131–148 (2015)
Pérez-Delgado, C.A., Perez-Gonzalez, H.G.: Towards a Quantum Software Modeling Language. In: Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops ICSEW’20, pp. 442–444. Association for Computing Machinery, Seoul, Republic of Korea (2020). ISBN:9781450379632. https://doi.org/10.1145/3387940.3392183
Poggel, B., et al.: Recommending Solution Paths for Solving Optimization Problems with Quantum Computing. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)
Qiskit Contributors.: Qiskit: An Open-Source Framework for Quantum Computing (2023). https://doi.org/10.5281/zenodo.2573505
Quetschlich, N., Burgholzer, L., Wille, R.: Predicting good quantum circuit compilation options. In: 2023 IEEE International Conference on Quantum Software (QSW), pp. 43–53. IEEE (2023)
Ramsauer, R., et al.: Static Hardware Partitioning on RISC-V - Shortcomings, Limitations, and Prospects. In: 8th IEEE World Forum on Internet of Things (IEEE WFIoT2022) (July 2022). https://doi.org/10.48550/arXiv.2208.02703. https://arxiv.org/abs/2208.02703
Reich, J., Schneider, D., et al.: Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. In: Casimiro, A., et al. (eds.) Computer Safety, Reliability, and Security, pp. 3–17. Springer International Publishing, Cham (2020). ISBN:978-3-030-54549-9
Reich, J., Wellstein, M., et al.: Towards a Software Component to Perform Situation-Aware Dynamic Risk Assessment for Autonomous Vehicles. In: Adler, R., et al. (eds.) Dependable Computing - EDCC 2021 Workshops, pp. 3–11. Springer International Publishing, Cham (2021). ISBN:978-3-030-86507-8
Resch, S., Karpuzcu, U.R.: Benchmarking quantum computers and the impact of quantum noise. ACM Comput. Surv. 54(7), (July 2021). ISSN:0360-0300. https://doi.org/10.1145/3464420
Rice, J.E., et al.: Quantum computation of dominant products in lithium–sulfur batteries. J. Chem. Phys. 154(13), 134115 (Apr. 2021). ISSN:0021-9606. https://doi.org/10.1063/5.0044068. eprint: https://pubs.aip.org/aip/jcp/article-pdf/doi/10.1063/5.0044068/15588046/134115_1_online.pdf
Roffe, J.: Quantum error correction: an introductory guide. Contemp. Phys. 60(3), 226–245 (2019). https://doi.org/10.1080/00107514.2019.1667078
Safi, H., Wintersperger, K., Mauerer, W.: Influence of HW-SW-Co-Design on Quantum Computing Scalability. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)
Saurabh, N., Jha, S., Luckow, A.: A Conceptual Architecture for a Middleware for Hybrid Quantum-HPC Application Workflows. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)
Sax, I., et al.: Approximate Approximation on a Quantum Annealer. In: Proceedings of the 17th ACM International Conference on Computing Frontiers, pp. 108–117 (2020). https://arxiv.org/pdf/2004.09267
Schmale, T., et al.: Backend compiler phases for trapped-ion quantum computers. In: 2022 IEEE International Conference on Quantum Software (QSW), pp. 32–37. IEEE Computer Society, Los Alamitos, CA, USA (July 2022). https://doi.org/10.1109/QSW55613.2022.00020. https://doi.ieeecomputersociety.org/10.1109/QSW55613.2022.00020
Schönberger, M., Franz, M., et al.: Peel — Pile? Cross-Framework Portability of Quantum Software. In: 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C), pp. 164–169 (2022). https://doi.org/10.1109/ICSA-C54293.2022.00039
Schönberger, M., Scherzinger, S., Mauerer, W.: Ready to Leap (by Co-Design)? Join Order Optimisation on Quantum Hardware. In: Proceedings of ACM SIGMOD/PODS International Conference on Management of Data (2023)
Schönberger, M., Trummer, I., Mauerer, W.: Quantum Optimisation of General Join Trees. In: Proceedings of the International Workshop on Quantum Data Science and Management, QDSM ’23 (Aug. 2023)
Schreiber, F.J., Eisert, J., Meyer, J.J.: Classical surrogates for quantum learning models (2022). arXiv: 2206.11740 [quant-ph]
Schuld, M., Sweke, R., Meyer, J.J.: Effect of data encoding on the expressive power of variational quantum-machine-learning models. Phys. Rev. A 103(3), 032430 (Mar. 2021). https://doi.org/10.1103/PhysRevA.103.032430. https://link.aps.org/doi/10.1103/PhysRevA.103.032430
Schulz, M., et al.: Accelerating HPC with quantum computing: It is a software challenge too. Comput. Sci. Eng. 24(04), 60–64 (July 2022). ISSN:1558-366X. https://doi.org/10.1109/MCSE.2022.3221845
Serrano, M.A., Perez-Castillo, R., Piattini, M., (eds.): Quantum Software Engineering. Springer (2022). ISBN:978-3-031-05323-8. https://doi.org/10.1007/978-3-031-05324-5
Sitdikov, I., et al.: Middleware for Quantum: An orchestration of hybrid quantum-classical systems. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)
Sivarajah, S., et al.: t\(|\text{ket}\rangle \): a retargetable compiler for NISQ devices. Quantum Sci. Technol. 6(1), 014003 (Nov. 2020). https://doi.org/10.1088/2058-9565/ab8e92
Sommerville, I.: Software Engineering, 9th edn. Addison-Wesley, Harlow, England (2010). ISBN:978-0-13-703515-1
Steiner, L., et al.: An LPDDR4 Safety Model for Automotive Applications. In: The International Symposium on Memory Systems MEMSYS 2021 Association for Computing Machinery, Washington DC, DC, USA (2022). ISBN:9781450385701. https://doi.org/10.1145/3488423.3519333
Stollenwerk, T., Lobe, E., Jung, M.: Flight gate assignment with a quantum annealer. In: International Workshop on Quantum Technology and Optimization Problems, pp. 99–110. Springer, Berlin (2019). https://elib.dlr.de/123777/. https://doi.org/10.1007/978-3-030-14082-3_9
Stollenwerk, T., O’Gorman, B., et al.: Quantum annealing applied to de-conflicting optimal trajectories for air traffic management. IEEE Trans. Intell. Transp. Syst. 21(1), 285–297 (2019)
Streif, M., Leib, M.: Training the quantum approximate optimization algorithm without access to a quantum processing unit. Quantum Sci. Technol. 5(3), 034008 (May 2020). https://doi.org/10.1088/2058-9565/ab8c2b
Tilly, J., et al.: The Variational Quantum Eigensolver: A review of methods and best practices. Physics Reports, 986 The Variational Quantum Eigensolver: a review of methods and best practices, pp. 1–128 (2022). ISSN:0370-1573. https://doi.org/10.1016/j.physrep.2022.08.003. https://www.sciencedirect.com/science/article/pii/S0370157322003118
Trummer, I., Koch, C.: Multiple query optimization on the D-wave 2X adiabatic quantum computer. Proc. VLDB Endow. 9(9), 648–659 (May 2016). ISSN:2150-8097. https://doi.org/10.14778/2947618.2947621
Ufrecht, C., et al.: Cutting multi-control quantum gates with ZX calculus (2023). https://doi.org/10.48550/ARXIV.2302.00387. https://arxiv.org/abs/2302.00387
Wang, S., et al.: Noise-induced barren plateaus in variational quantum algorithms. Nature Commun. 12(1), 6961 (2021). https://doi.org/10.1038/s41467-021-27045-6
Weder, B., et al.: Quantum software development lifecycle. Quantum Software Engineering, pp. 61–83. Springer (2022)
Weimer, H., et al.: Digital quantum simulation with Rydberg atoms. Quantum Inf. Process. 10(6), 885 (2011). https://doi.org/10.1007/s11128-011-0303-5
Wille, R., Hillmich, S., Burgholzer, L.: Tools for quantum computing based on decision diagrams. ACM Trans. Quantum Comput. 3(3), 1–17 (2022)
Wintersperger, K., Dommert, F., et al.: Neutral Atom Quantum Computing Hardware: Performance and End-User Perspective (2023)
Wintersperger, K., Safi, H., Mauerer, W.: QPU-System Co-Design for Quantum HPC Accelerators. In: Proceedings of the 35th GI/ITG International Conference on the Architecture of Computing Systems (Aug. 2022). Gesellschaft für Informatik
Xia, S., Zhao, J.: Static Entanglement Analysis of Quantum Programs (2023). arXiv: 2304.05049 [cs.SE]
Yamaguchi, M., Yoshioka, N.: Design by Contract Framework for Quantum Software (2023). arXiv: 2303.17750 [cs.CL]
Yarkoni, S., et al.: Multi-car paint shop optimization with quantum annealing. In: 2021 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 35–41. IEEE (2021)
Ying, M.: Toward automatic verification of quantum programs. Formal Aspects Comput. 31(1), 3–25 (2019). https://doi.org/10.1007/s00165-018-0465-3
Yue, T., et al.: Challenges and Opportunities in Quantum Software Architecture. In: Weber, I., Kazman, R., Pellicione, P. (eds.) Software Architecture Research Roadmaps from the Community. Springer (2023)
Zhao, J.: Quantum Software Engineering: Landscapes and Horizons. CoRR. abs/2007.07047 (2020). arXiv: 2007.07047. https://arxiv.org/abs/2007.07047
Zhao, P., Wu, X., Li, Z., et al.: QChecker: Detecting Bugs in Quantum Programs via Static Analysis (2023). arXiv: 2304.04387 [cs.SE]
Zhao, P., Wu, X., Luo, J., et al.: An Empirical Study of Bugs in Quantum Machine Learning Frameworks. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)
Zhou, L., et al.: Quantum approximate optimization algorithm: performance, mechanism, and implementation on near-term devices. Phys. Rev. X 10(2), 021067 (June 2020). https://doi.org/10.1103/PhysRevX.10.021067. https://link.aps.org/doi/10.1103/PhysRevX.10.021067
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2024 The Author(s)
About this chapter
Cite this chapter
Carbonelli, C. et al. (2024). Challenges for Quantum Software Engineering: An Industrial Application Scenario Perspective. In: Exman, I., Pérez-Castillo, R., Piattini, M., Felderer, M. (eds) Quantum Software. Springer, Cham. https://doi.org/10.1007/978-3-031-64136-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-031-64136-7_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-64135-0
Online ISBN: 978-3-031-64136-7
eBook Packages: Computer ScienceComputer Science (R0)