{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T04:26:58Z","timestamp":1778905618138,"version":"3.51.4"},"reference-count":86,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2024,10,10]],"date-time":"2024-10-10T00:00:00Z","timestamp":1728518400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"funder":[{"name":"Austrian Federal Ministry for Digital and Economic Affairs and the National Foundation for Research, Technology and Development and by the Austrian Science Fund","award":["P 30525-N31"],"award-info":[{"award-number":["P 30525-N31"]}]},{"name":"Spanish MICINN","award":["PID2021-122270OB-I00 and TED2021-129381B-C21"],"award-info":[{"award-number":["PID2021-122270OB-I00 and TED2021-129381B-C21"]}]},{"name":"European Research Council (ERC) under the European Union\u2019s Horizon 2020 research and innovation program","award":["101001318"],"award-info":[{"award-number":["101001318"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Transactions on Quantum Computing"],"published-print":{"date-parts":[[2024,12,31]]},"abstract":"<jats:p>Quantum programming languages support the design of quantum applications. However, to create such programs, one needs to understand the fundamental characteristics of quantum computing and quantum information theory. Furthermore, quantum algorithms frequently make use of abstract operations with a hidden low-level realization (e.g., Quantum Fourier Transform). Thus, turning from elementary quantum operations to a higher-level view of quantum circuit design not only reduces the development effort but also lowers the entry barriers for non-quantum computing experts.<\/jats:p>\n          <jats:p>\n            To this end, this article proposes a modeling language and design framework for quantum circuits. This allows the definition of composite operators to advocate a higher-level quantum algorithm design, together with automated code generation for the circuit execution. To demonstrate the benefits of the proposed approach, coined\n            <jats:italic>Composition-based Quantum Circuit Designer<\/jats:italic>\n            , we applied it for realizing the Quantum Counting algorithm and the Quantum Approximate Optimization Algorithm. Our evaluation results show that, compared to an existing state-of-the-art editor, the proposed approach allows for the realization of both quantum algorithms on a high level with a substantially reduced development effort. In particular, the proposed approach shows constant scaling when increasing the size of the investigated quantum circuits and a lower change criticality when evolving existing quantum circuits.\n          <\/jats:p>","DOI":"10.1145\/3688856","type":"journal-article","created":{"date-parts":[[2024,8,21]],"date-time":"2024-08-21T23:30:43Z","timestamp":1724283043000},"page":"1-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["A Model-Driven Framework for Composition-Based Quantum Circuit Design"],"prefix":"10.1145","volume":"5","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7589-8263","authenticated-orcid":false,"given":"Felix","family":"Gemeinhardt","sequence":"first","affiliation":[{"name":"Business Informatics - Software Engineering, Johannes Kepler Universit\u00e4t Linz, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8331-4467","authenticated-orcid":false,"given":"Antonio","family":"Garmendia","sequence":"additional","affiliation":[{"name":"Business Informatics - Software Engineering, Johannes Kepler Universitat Linz, Linz, Austria and Universidad Autonoma de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1124-7098","authenticated-orcid":false,"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[{"name":"Business Informatics - Software Engineering, Johannes Kepler Universit\u00e4t Linz, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4993-7860","authenticated-orcid":false,"given":"Robert","family":"Wille","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,10]]},"reference":[{"key":"e_1_3_3_2_2","first-page":"14","volume-title":"1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software.","author":"Ali Shaukat","year":"2020","unstructured":"Shaukat Ali and Tao Yue. 2020. Modeling quantum programs: Challenges, initial results, and research directions. In 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software. 14\u201321."},{"key":"e_1_3_3_3_2","doi-asserted-by":"crossref","first-page":"103216","DOI":"10.1016\/j.advengsoft.2022.103216","article-title":"Engineering the development of quantum programs: Application to the Boolean satisfiability problem","volume":"173","author":"Alonso Diego","year":"2022","unstructured":"Diego Alonso, Pedro S\u00e1nchez, and Francisco S\u00e1nchez-Rubio. 2022. Engineering the development of quantum programs: Application to the Boolean satisfiability problem. Advan. Eng. Softw. 173 (2022), 103216.","journal-title":"Advan. Eng. Softw."},{"key":"e_1_3_3_4_2","unstructured":"Ali Javadi-Abhari Matthew Treinish Kevin Krsulich Christopher J. Wood Jake Lishman Julien Gacon Simon Martiel Paul D. Nation Lev S. Bishop Andrew W. Cross and others. 2024. Quantum computing with Qiskit. arXiv preprint arXiv:2405.08810 (2024)."},{"key":"e_1_3_3_5_2","first-page":"1","volume-title":"35th Annual ACM Symposium on User Interface Software and Technology","author":"Arawjo Ian","year":"2022","unstructured":"Ian Arawjo, Anthony DeArmas, Michael Roberts, Shrutarshi Basu, and Tapan Parikh. 2022. Notational programming for notebook environments: A case study with quantum circuits. In 35th Annual ACM Symposium on User Interface Software and Technology. 1\u201320."},{"key":"e_1_3_3_6_2","first-page":"72","volume-title":"IEEE International Conference on Quantum Computing and Engineering (QCE\u201920)","author":"B\u00e4rtschi Andreas","year":"2020","unstructured":"Andreas B\u00e4rtschi and Stephan Eidenbenz. 2020. Grover mixers for QAOA: Shifting complexity from mixer design to state preparation. In IEEE International Conference on Quantum Computing and Engineering (QCE\u201920). IEEE, 72\u201382."},{"issue":"4","key":"e_1_3_3_7_2","first-page":"041021","article-title":"Analyzing many-body localization with a quantum computer","volume":"4","author":"Bauer Bela","year":"2014","unstructured":"Bela Bauer and Chetan Nayak. 2014. Analyzing many-body localization with a quantum computer. Phys. Rev. X 4, 4 (2014), 041021.","journal-title":"Phys. Rev. X"},{"key":"e_1_3_3_8_2","article-title":"Circuit for Shor\u2019s algorithm using 2n+ 3 qubits","author":"Beauregard Stephane","year":"2002","unstructured":"Stephane Beauregard. 2002. Circuit for Shor\u2019s algorithm using 2n+ 3 qubits. arXiv preprint quant-ph\/0205095 (2002).","journal-title":"arXiv preprint quant-ph\/0205095"},{"issue":"5","key":"e_1_3_3_9_2","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/MM.2021.3099195","article-title":"Quantum computing\u2013from NISQ to PISQ","volume":"41","author":"Bertels Koen","year":"2021","unstructured":"Koen Bertels, Aritra Sarkar, and Imran Ashraf. 2021. Quantum computing\u2013from NISQ to PISQ. IEEE Micro 41, 5 (2021), 24\u201332.","journal-title":"IEEE Micro"},{"key":"e_1_3_3_10_2","volume-title":"Implementing Domain-specific Languages with Xtext and Xtend","author":"Bettini Lorenzo","year":"2016","unstructured":"Lorenzo Bettini. 2016. Implementing Domain-specific Languages with Xtext and Xtend. Packt Publishing Ltd."},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1103\/revmodphys.94.015004"},{"key":"e_1_3_3_12_2","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1007\/s12599-021-00726-8","article-title":"Low-code platform","volume":"63","author":"Bock Alexander C.","year":"2021","unstructured":"Alexander C. Bock and Ulrich Frank. 2021. Low-code platform. Busin. Inf. Syst. Eng. 63 (2021), 733\u2013740.","journal-title":"Busin. Inf. Syst. Eng."},{"key":"e_1_3_3_13_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-02549-5","volume-title":"Model-driven Software Engineering in Practice, Second Edition","author":"Brambilla Marco","year":"2017","unstructured":"Marco Brambilla, Jordi Cabot, and Manuel Wimmer. 2017. Model-driven Software Engineering in Practice, Second Edition. Morgan & Claypool Publishers."},{"key":"e_1_3_3_14_2","article-title":"Towards verification of dynamic quantum circuits","author":"Burgholzer Lukas","year":"2021","unstructured":"Lukas Burgholzer and Robert Wille. 2021. Towards verification of dynamic quantum circuits. arXiv preprint arXiv:2106.01099 (2021).","journal-title":"arXiv preprint arXiv:2106.01099"},{"key":"e_1_3_3_15_2","first-page":"58","volume-title":"12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM\u201912)","author":"Cabot Jordi","year":"2012","unstructured":"Jordi Cabot and Martin Gogolla. 2012. Object Constraint Language (OCL): A definitive guide. In 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM\u201912). Springer, 58\u201390."},{"key":"e_1_3_3_16_2","first-page":"79","article-title":"Mathematical models of contemporary elementary quantum computing devices","volume":"33","author":"Chen G.","year":"2003","unstructured":"G. Chen, D. A. Church, B. G. Englert, and M. S. Zubairy. 2003. Mathematical models of contemporary elementary quantum computing devices. Quant. Contr.: Math. Numer. Chall. 33 (2003), 79\u2013117.","journal-title":"Quant. Contr.: Math. Numer. Chall."},{"key":"e_1_3_3_17_2","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1109\/MODELS-C.2019.00068","volume-title":"ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C\u201919)","author":"Ciccozzi Federico","year":"2019","unstructured":"Federico Ciccozzi, Matthias Tichy, Hans Vangheluwe, and Danny Weyns. 2019. Blended modelling\u2014What, why and how. In ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C\u201919). IEEE, 425\u2013430."},{"key":"e_1_3_3_18_2","article-title":"LOv-Calculus: A graphical language for linear optical quantum circuits","author":"Cl\u00e9ment Alexandre","year":"2022","unstructured":"Alexandre Cl\u00e9ment, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, and Beno\u00eet Valiron. 2022. LOv-Calculus: A graphical language for linear optical quantum circuits. arXiv preprint arXiv:2204.11787 (2022).","journal-title":"arXiv preprint arXiv:2204.11787"},{"key":"e_1_3_3_19_2","volume-title":"Dagstuhl Reports","author":"Combemale Beno\u00eet","year":"2018","unstructured":"Beno\u00eet Combemale, Ralf L\u00e4mmel, and Eric Van Wyk. 2018. SLEBOK: The software language engineering body of knowledge (Dagstuhl Seminar 17342). In Dagstuhl Reports, Vol. 7. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"issue":"10","key":"e_1_3_3_20_2","doi-asserted-by":"crossref","first-page":"100501","DOI":"10.1103\/PhysRevLett.127.100501","article-title":"Exploiting dynamic quantum circuits in a quantum algorithm with superconducting qubits","volume":"127","author":"C\u00f3rcoles Antonio D.","year":"2021","unstructured":"Antonio D. C\u00f3rcoles, Maika Takita, Ken Inoue, Scott Lekuch, Zlatko K. Minev, Jerry M. Chow, and Jay M. Gambetta. 2021. Exploiting dynamic quantum circuits in a quantum algorithm with superconducting qubits. Phys. Rev. Lett. 127, 10 (2021), 100501.","journal-title":"Phys. Rev. Lett."},{"issue":"5","key":"e_1_3_3_21_2","first-page":"1900015","article-title":"Efficient quantum algorithms for GHZ and W states, and implementation on the IBM quantum computer","volume":"2","year":"2019","unstructured":"Diogo Cruz, Romain Fournier, Fabien Gremion, Alix Jeannerot, Kenichi Komagata, Tara Tosic, Jarla Thiesbrummel, Chun Lam Chan, Nicolas Macris, Marc-Andr\u00e9 Dupertuis, and Cl\u00e9ment Javerzac-Galy. 2019. Efficient quantum algorithms for GHZ and W states, and implementation on the IBM quantum computer. Advan. Quant. Technol. 2, 5-6 (2019), 1900015.","journal-title":"Advan. Quant. Technol."},{"issue":"12","key":"e_1_3_3_22_2","doi-asserted-by":"crossref","first-page":"3804","DOI":"10.1007\/s10773-020-04633-8","article-title":"Optimized quantum circuit partitioning","volume":"59","author":"Daei Omid","year":"2020","unstructured":"Omid Daei, Keivan Navi, and Mariam Zomorodi-Moghadam. 2020. Optimized quantum circuit partitioning. Int. J. Theoret. Phys. 59, 12 (2020), 3804\u20133820.","journal-title":"Int. J. Theoret. Phys."},{"key":"e_1_3_3_23_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-19066-8","volume-title":"A Primer on Quantum Computing","author":"Marquezino Franklin de Lima","year":"2019","unstructured":"Franklin de Lima Marquezino, Renato Portugal, and Carlile Lavor. 2019. A Primer on Quantum Computing. Springer."},{"key":"e_1_3_3_24_2","article-title":"The computational power of the W and GHZ states","author":"D\u2019Hondt Ellie","year":"2004","unstructured":"Ellie D\u2019Hondt and Prakash Panangaden. 2004. The computational power of the W and GHZ states. arXiv preprint quant-ph\/0412177 (2004).","journal-title":"arXiv preprint quant-ph\/0412177"},{"issue":"2","key":"e_1_3_3_25_2","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/s10270-021-00970-2","article-title":"Low-code development and model-driven engineering: Two sides of the same coin?","volume":"21","author":"Ruscio Davide Di","year":"2022","unstructured":"Davide Di Ruscio, Dimitris Kolovos, Juan de Lara, Alfonso Pierantonio, Massimo Tisi, and Manuel Wimmer. 2022. Low-code development and model-driven engineering: Two sides of the same coin? Softw. Syst. Model. 21, 2 (2022), 437\u2013446.","journal-title":"Softw. Syst. Model."},{"key":"e_1_3_3_26_2","unstructured":"Christoph Durr and Peter Hoyer. 1996. A quantum algorithm for finding the minimum. arXiv preprint quant-ph\/9607014 (1996)."},{"key":"e_1_3_3_27_2","unstructured":"Edward Farhi Jeffrey Goldstone and Sam Gutmann. 2014. A quantum approximate optimization algorithm. arXiv preprint arXiv:1411.4028 (2014)."},{"issue":"3","key":"e_1_3_3_28_2","doi-asserted-by":"crossref","first-page":"032324","DOI":"10.1103\/PhysRevA.86.032324","article-title":"Surface codes: Towards practical large-scale quantum computation","volume":"86","author":"Fowler Austin G.","year":"2012","unstructured":"Austin G. Fowler, Matteo Mariantoni, John M. Martinis, and Andrew N. Cleland. 2012. Surface codes: Towards practical large-scale quantum computation. Phys. Rev. A 86, 3 (2012), 032324.","journal-title":"Phys. Rev. A"},{"key":"e_1_3_3_29_2","volume-title":"Domain-specific Languages","author":"Fowler Martin","year":"2010","unstructured":"Martin Fowler. 2010. Domain-specific Languages. Pearson Education."},{"key":"e_1_3_3_30_2","doi-asserted-by":"crossref","unstructured":"J. L. Hevi G. Peterssen and M. Piattini. 2022. Practical quantum computing: Challenges of quantum software development. QuantumPath Blog. Retrieved from: https:\/\/www.quantumpath.es\/2022\/01\/31\/practical-quantum-computing-challenges-of-quantum-software-development\/","DOI":"10.1007\/978-3-031-05324-5_13"},{"issue":"2","key":"e_1_3_3_31_2","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/s11831-019-09372-6","article-title":"Quantum programming language: A systematic review of research topic and top cited languages","volume":"28","author":"Garhwal Sunita","year":"2021","unstructured":"Sunita Garhwal, Maryam Ghorani, and Amir Ahmad. 2021. Quantum programming language: A systematic review of research topic and top cited languages. Arch. Comput. Meth. Eng. 28, 2 (2021), 289\u2013310.","journal-title":"Arch. Comput. Meth. Eng."},{"key":"e_1_3_3_32_2","first-page":"117","volume-title":"International Conference on Web Engineering.","author":"Garrig\u00f3s Irene","year":"2013","unstructured":"Irene Garrig\u00f3s, Manuel Wimmer, and Jose-Norberto Maz\u00f3n. 2013. Weaving aspect-orientation into web modeling languages. In International Conference on Web Engineering. Springer, 117\u2013132."},{"key":"e_1_3_3_33_2","volume-title":"5th Workshop on Artificial Intelligence and Model-driven Engineering at MODELS","author":"Gemeinhardt F.","year":"2023","unstructured":"F. Gemeinhardt, M. Eisenberg, S. Klikovits, and M Wimmer. 2023. Model-driven optimization for quantum program synthesis with MOMoT. In 5th Workshop on Artificial Intelligence and Model-driven Engineering at MODELS. ACM\/IEEE."},{"key":"e_1_3_3_34_2","volume-title":"2nd International Workshop on Quantum Software Engineering (Q-SE\u201921) co-located with ICSE\u201921","author":"Gemeinhardt Felix","year":"2021","unstructured":"Felix Gemeinhardt, Antonio Garmendia, and Manuel Wimmer. 2021. Towards model-driven quantum software engineering. In 2nd International Workshop on Quantum Software Engineering (Q-SE\u201921) co-located with ICSE\u201921."},{"key":"e_1_3_3_35_2","first-page":"795","volume-title":"Conference on Genetic and Evolutionary Computation","author":"Gemeinhardt Felix G\u00fcnther","year":"2023","unstructured":"Felix G\u00fcnther Gemeinhardt, Stefan Klikovits, and Manuel Wimmer. 2023. Hybrid multi-objective genetic programming for parameterized quantum operator discovery. In Conference on Genetic and Evolutionary Computation. 795\u2013798."},{"key":"e_1_3_3_36_2","doi-asserted-by":"crossref","first-page":"428","DOI":"10.22331\/q-2021-04-08-428","article-title":"Grover adaptive search for constrained polynomial binary optimization","volume":"5","author":"Gilliam Austin","year":"2021","unstructured":"Austin Gilliam, Stefan Woerner, and Constantin Gonciulea. 2021. Grover adaptive search for constrained polynomial binary optimization. Quantum 5 (2021), 428.","journal-title":"Quantum"},{"key":"e_1_3_3_37_2","article-title":"A tutorial on formulating and using QUBO models","author":"Glover Fred","year":"2018","unstructured":"Fred Glover, Gary Kochenberger, and Yu Du. 2018. A tutorial on formulating and using QUBO models. arXiv preprint arXiv:1811.11538 (2018).","journal-title":"arXiv preprint arXiv:1811.11538"},{"issue":"3","key":"e_1_3_3_38_2","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1007\/s10270-021-00887-w","article-title":"Modeling in the large: Model libraries","volume":"20","author":"Gray Jeff","year":"2021","unstructured":"Jeff Gray and Bernhard Rumpe. 2021. Modeling in the large: Model libraries. Softw. Syst. Model. 20, 3 (2021), 591\u2013593.","journal-title":"Softw. Syst. Model."},{"key":"e_1_3_3_39_2","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-94-017-0849-4_10","volume-title":"Bell\u2019s Theorem, Quantum Theory and Conceptions of the Universe","author":"Greenberger Daniel M.","year":"1989","unstructured":"Daniel M. Greenberger, Michael A. Horne, and Anton Zeilinger. 1989. Going beyond Bell\u2019s theorem. In Bell\u2019s Theorem, Quantum Theory and Conceptions of the Universe. Springer, 69\u201372."},{"issue":"2","key":"e_1_3_3_40_2","doi-asserted-by":"crossref","first-page":"34","DOI":"10.3390\/a12020034","article-title":"From the quantum approximate optimization algorithm to a Quantum Alternating Operator Ansatz","volume":"12","author":"Hadfield Stuart","year":"2019","unstructured":"Stuart Hadfield, Zhihui Wang, Bryan O\u2019gorman, Eleanor G. Rieffel, Davide Venturelli, and Rupak Biswas. 2019. From the quantum approximate optimization algorithm to a Quantum Alternating Operator Ansatz. Algorithms 12, 2 (2019), 34.","journal-title":"Algorithms"},{"key":"e_1_3_3_41_2","volume-title":"Elements of Software Science (Operating and Programming Systems Series)","author":"Halstead Maurice H.","year":"1977","unstructured":"Maurice H. Halstead. 1977. Elements of Software Science (Operating and Programming Systems Series). Elsevier Science Inc."},{"issue":"15","key":"e_1_3_3_42_2","doi-asserted-by":"crossref","first-page":"150502","DOI":"10.1103\/PhysRevLett.103.150502","article-title":"Quantum algorithm for linear systems of equations","volume":"103","author":"Harrow Aram W.","year":"2009","unstructured":"Aram W. Harrow, Avinatan Hassidim, and Seth Lloyd. 2009. Quantum algorithm for linear systems of equations. Physical Rev. Lett. 103, 15 (2009), 150502.","journal-title":"Physical Rev. Lett."},{"key":"e_1_3_3_43_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-43916-3","volume-title":"Graph Transformation for Software Engineers","author":"Heckel Reiko","year":"2020","unstructured":"Reiko Heckel and Gabriele Taentzer. 2020. Graph Transformation for Software Engineers. Springer."},{"issue":"6","key":"e_1_3_3_44_2","first-page":"1517","article-title":"QuantumPath: A quantum software development platform","volume":"52","author":"Hevia Jose Luis","year":"2022","unstructured":"Jose Luis Hevia, Guido Peterssen, and Mario Piattini. 2022. QuantumPath: A quantum software development platform. Softw.: Pract. Exper. 52, 6 (2022), 1517\u20131530.","journal-title":"Softw.: Pract. Exper."},{"key":"e_1_3_3_45_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-23922-0","volume-title":"Quantum Computing: An Applied Approach","author":"Hidary Jack D.","year":"2019","unstructured":"Jack D. Hidary. 2019. Quantum Computing: An Applied Approach. Springer."},{"key":"e_1_3_3_46_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3434318","article-title":"A verified optimizer for quantum circuits","volume":"5","author":"Hietala Kesha","year":"2021","unstructured":"Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, and Michael Hicks. 2021. A verified optimizer for quantum circuits. Proc. ACM Program. Lang. 5, POPL (2021), 1\u201329.","journal-title":"Proc. ACM Program. Lang."},{"key":"e_1_3_3_47_2","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-3-030-85347-1_16","volume-title":"International Conference on the Quality of Information and Communications Technology","author":"Jim\u00e9nez-Navajas Luis","year":"2021","unstructured":"Luis Jim\u00e9nez-Navajas, Ricardo P\u00e9rez-Castillo, and Mario Piattini. 2021. KDM to UML model transformation for quantum software modernization. In International Conference on the Quality of Information and Communications Technology. Springer, 211\u2013224."},{"key":"e_1_3_3_48_2","first-page":"47","volume-title":"Type Object","author":"Johnson Ralph","year":"1997","unstructured":"Ralph Johnson and Bobby Woolf. 1997. Type Object. Addison-Wesley, 47\u201365."},{"key":"e_1_3_3_49_2","volume-title":"Programming Quantum Computers: Essential Algorithms and Code Samples","author":"Johnston Eric R.","year":"2019","unstructured":"Eric R. Johnston, Nic Harrigan, and Mercedes Gimeno-Segovia. 2019. Programming Quantum Computers: Essential Algorithms and Code Samples. O\u2019Reilly Media."},{"issue":"4","key":"e_1_3_3_50_2","doi-asserted-by":"crossref","first-page":"2361","DOI":"10.1007\/s10270-018-0665-6","article-title":"Survey and classification of model transformation tools","volume":"18","author":"Kahani Nafiseh","year":"2019","unstructured":"Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, and Daniel Varr\u00f3. 2019. Survey and classification of model transformation tools. Softw. Syst. Model. 18, 4 (2019), 2361\u20132397.","journal-title":"Softw. Syst. Model."},{"issue":"7671","key":"e_1_3_3_51_2","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1038\/nature23879","article-title":"Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets","volume":"549","author":"Kandala Abhinav","year":"2017","unstructured":"Abhinav Kandala, Antonio Mezzacapo, Kristan Temme, Maika Takita, Markus Brink, Jerry M. Chow, and Jay M. Gambetta. 2017. Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets. Nature 549, 7671 (2017), 242\u2013246.","journal-title":"Nature"},{"key":"e_1_3_3_52_2","article-title":"PyZX: Large scale automated diagrammatic reasoning","author":"Kissinger Aleks","year":"2019","unstructured":"Aleks Kissinger and John van de Wetering. 2019. PyZX: Large scale automated diagrammatic reasoning. arXiv preprint arXiv:1904.04735 (2019).","journal-title":"arXiv preprint arXiv:1904.04735"},{"issue":"2","key":"e_1_3_3_53_2","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/130844.130856","article-title":"Software reuse","volume":"24","author":"Krueger Charles W.","year":"1992","unstructured":"Charles W. Krueger. 1992. Software reuse. ACM Comput. Surv. 24, 2 (1992), 131\u2013183.","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"e_1_3_3_54_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2685615","article-title":"When and how to use multilevel modelling","volume":"24","author":"Lara Juan De","year":"2014","unstructured":"Juan De Lara, Esther Guerra, and Jes\u00fas S\u00e1nchez Cuadrado. 2014. When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. 24, 2 (2014), 1\u201346.","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"e_1_3_3_55_2","doi-asserted-by":"crossref","first-page":"130","DOI":"10.22331\/q-2019-03-25-130","article-title":"Overview and comparison of gate level quantum software platforms","volume":"3","author":"LaRose Ryan","year":"2019","unstructured":"Ryan LaRose. 2019. Overview and comparison of gate level quantum software platforms. Quantum 3 (2019), 130.","journal-title":"Quantum"},{"key":"e_1_3_3_56_2","first-page":"113240J","volume-title":"Novel Patterning Technologies for Semiconductors, MEMS\/NEMS and MOEMS 2020","year":"2020","unstructured":"Thorsten Last, Nodar Samkharadze, Pieter Eendebak, Richard Versluis, Xiao Xue, Amir Sammak, Delphine Brousse, Kelvin Loh, Henk Polinder, Giordano Scappucci, Menno Veldhorst, Lieven Vandersypen, Klar\u00e1 Maturov\u00e1, Jeremy Veltin, and Garrelt Alberts. 2020. Quantum inspire: QuTech\u2019s platform for co-development and collaboration in quantum computing. In Novel Patterning Technologies for Semiconductors, MEMS\/NEMS and MOEMS 2020, Vol. 11324. International Society for Optics and Photonics, 113240J."},{"key":"e_1_3_3_57_2","series-title":"Lecture Notes in Computer Science (LNCS)","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/978-3-030-14082-3_19","volume-title":"Quantum Technology and Optimization Problems","author":"Leymann Frank","year":"2019","unstructured":"Frank Leymann. 2019. Towards a pattern language for quantum algorithms. In Quantum Technology and Optimization Problems(Lecture Notes in Computer Science (LNCS), Vol. 11413). Springer, 218\u2013230."},{"key":"e_1_3_3_58_2","first-page":"1","volume-title":"IEEE International Conference on Rebooting Computing (ICRC\u201918)","author":"McCaskey Alexander","year":"2018","unstructured":"Alexander McCaskey, Eugene Dumitrescu, Dmitry Liakh, and Travis Humble. 2018. Hybrid programming for near-term quantum computing systems. In IEEE International Conference on Rebooting Computing (ICRC\u201918). IEEE, 1\u201312."},{"key":"e_1_3_3_59_2","unstructured":"Armin Moin Moharram Challenger Atta Badii and Stephan G\u00fcnnemann. 2021. MDE4qai: Towards model-driven engineering for quantum artificial intelligence. arXiv preprint arXiv:2107.06708 (2021)."},{"issue":"2","key":"e_1_3_3_60_2","article-title":"Quantum circuit optimizations for NISQ architectures","volume":"5","author":"Nash Beatrice","year":"2020","unstructured":"Beatrice Nash, Vlad Gheorghiu, and Michele Mosca. 2020. Quantum circuit optimizations for NISQ architectures. Quant. Sci. Technol. 5, 2 (2020).","journal-title":"Quant. Sci. Technol."},{"key":"e_1_3_3_61_2","first-page":"1493","volume-title":"IEEE International Conference on Industrial Engineering and Engineering Management (IEEM\u201922)","author":"Neumann Eva-Maria","year":"2022","unstructured":"Eva-Maria Neumann, Birgit Vogel-Heuser, Michael Gnadlinger, Juliane Fischer, Laura Reimoser, Sebastian Diehm, Tobias Englert, and Michael Schwarz. 2022. Metric-based identification of target conflicts in the development of industrial automation software libraries. In IEEE International Conference on Industrial Engineering and Engineering Management (IEEM\u201922). IEEE, 1493\u20131499."},{"key":"e_1_3_3_62_2","volume-title":"Quantum Computation and Quantum Information","author":"Nielsen Michael A.","year":"2002","unstructured":"Michael A. Nielsen and Isaac Chuang. 2002. Quantum Computation and Quantum Information. American Association of Physics Teachers."},{"key":"e_1_3_3_63_2","unstructured":"OMG. 2017. UML. Retrieved from: https:\/\/www.omg.org\/spec\/UML\/"},{"key":"e_1_3_3_64_2","doi-asserted-by":"crossref","unstructured":"Ricardo P\u00e9rez-Castillo Luis Jim\u00e9nez-Navajas and Mario Piattini. 2021. Modelling quantum circuits with UML. In 2021 IEEE\/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE) IEEE 7--12.","DOI":"10.1109\/Q-SE52541.2021.00009"},{"key":"e_1_3_3_65_2","doi-asserted-by":"crossref","first-page":"102933","DOI":"10.1016\/j.advengsoft.2020.102933","article-title":"Software modernization to embrace quantum technology","volume":"151","author":"P\u00e9rez-Castillo Ricardo","year":"2021","unstructured":"Ricardo P\u00e9rez-Castillo, Manuel A. Serrano, and Mario Piattini. 2021. Software modernization to embrace quantum technology. Advan. Eng. Softw. 151 (2021), 102933.","journal-title":"Advan. Eng. Softw."},{"key":"e_1_3_3_66_2","first-page":"442","volume-title":"IEEE\/ACM 42nd International Conference on Software Engineering Workshops","author":"P\u00e9rez-Delgado Carlos A.","year":"2020","unstructured":"Carlos A. P\u00e9rez-Delgado and Hector G. Perez-Gonzalez. 2020. Towards a quantum software modeling language. In IEEE\/ACM 42nd International Conference on Software Engineering Workshops. 442\u2013444."},{"issue":"1","key":"e_1_3_3_67_2","first-page":"1","article-title":"A variational eigenvalue solver on a photonic quantum processor","volume":"5","author":"Peruzzo Alberto","year":"2014","unstructured":"Alberto Peruzzo, Jarrod McClean, Peter Shadbolt, Man-Hong Yung, Xiao-Qi Zhou, Peter J. Love, Al\u00e1n Aspuru-Guzik, and Jeremy L O\u2019Brien. 2014. A variational eigenvalue solver on a photonic quantum processor. Nature Commun. 5, 1 (2014), 1\u20137.","journal-title":"Nature Commun."},{"key":"e_1_3_3_68_2","volume-title":"1st International Workshop on the QuANtum SoftWare Engineering & pRogramming (QANSWER\u201920)","year":"2020","unstructured":"Mario Piattini, Guido Peterssen, Ricardo P\u00e9rez-Castillo, Jose Luis Hevia, Manuel A. Serrano, Guillermo Hern\u00e1ndez, Ignacio Garc\u00eda Rodr\u00edguez de Guzm\u00e1n, Claudio Andr\u00e9s Paradela, Macario Polo, Ezequiel Murina, Luis Jim\u00e9nez, Juan Carlos Marque\u00f1o, Rams\u00e9s Gallego, Jordi Tura, Frank Phillipson, Juan M. Murillo, Alfonso Ni\u00f1o, and Mois\u00e9s Rodr\u00edguez. 2020. The Talavera Manifesto for quantum software engineering and programming. In 1st International Workshop on the QuANtum SoftWare Engineering & pRogramming (QANSWER\u201920)."},{"key":"e_1_3_3_69_2","first-page":"522","volume-title":"19th International Conference on Human-Computer Interaction: User Interface Design, Development and Multimodality (HCI International\u201917)","author":"Rodrigues Ildevana Poltronieri","year":"2017","unstructured":"Ildevana Poltronieri Rodrigues, M\u00e1rcia de Borba Campos, and Avelino F. Zorzo. 2017. Usability evaluation of domain-specific languages: A systematic literature review. In 19th International Conference on Human-Computer Interaction: User Interface Design, Development and Multimodality (HCI International\u201917). Springer, 522\u2013534."},{"key":"e_1_3_3_70_2","doi-asserted-by":"crossref","first-page":"79","DOI":"10.22331\/q-2018-08-06-79","article-title":"Quantum computing in the NISQ era and beyond","volume":"2","author":"Preskill John","year":"2018","unstructured":"John Preskill. 2018. Quantum computing in the NISQ era and beyond. Quantum 2 (2018), 79.","journal-title":"Quantum"},{"key":"e_1_3_3_71_2","doi-asserted-by":"crossref","first-page":"012320","DOI":"10.1103\/PhysRevA.101.012320","article-title":"XY-mixers: Analytical and numerical results for QAOA","volume":"101","author":"Rieffel Eleanor","year":"2020","unstructured":"Eleanor Rieffel, Jason M. Dominy, Nicholas Rubin, and Zhihui Wang. 2020. XY-mixers: Analytical and numerical results for QAOA. Phys. Rev. A 101 (2020), 012320.","journal-title":"Phys. Rev. A"},{"key":"e_1_3_3_72_2","article-title":"Quantum approximate algorithm for NP optimization problems with constraints","author":"Ruan Yue","year":"2020","unstructured":"Yue Ruan, Samuel Marsh, Xilin Xue, Xi Li, Zhihao Liu, and Jingbo Wang. 2020. Quantum approximate algorithm for NP optimization problems with constraints. arXiv preprint arXiv:2002.00943 (2020).","journal-title":"arXiv preprint arXiv:2002.00943"},{"issue":"8","key":"e_1_3_3_73_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3548679","article-title":"Quantum software components and platforms: Overview and quality assessment","volume":"55","author":"Serrano Manuel A.","year":"2022","unstructured":"Manuel A. Serrano, Jose A. Cruz-Lemus, Ricardo Perez-Castillo, and Mario Piattini. 2022. Quantum software components and platforms: Overview and quality assessment. Comput. Surv. 55, 8 (2022), 1\u201331.","journal-title":"Comput. Surv."},{"key":"e_1_3_3_74_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-05324-5","volume-title":"Quantum Software Engineering","author":"Serrano Manuel A.","year":"2022","unstructured":"Manuel A. Serrano, Ricardo Perez-Castillo, and Mario Piattini. 2022. Quantum Software Engineering. Springer Nature."},{"key":"e_1_3_3_75_2","first-page":"56","volume-title":"37th Conference on Foundations of Computer Science","author":"Shor Peter W.","year":"1996","unstructured":"Peter W. Shor. 1996. Fault-tolerant quantum computation. In 37th Conference on Foundations of Computer Science. IEEE, 56\u201365."},{"key":"e_1_3_3_76_2","first-page":"80","volume-title":"IEEE 18th International Conference on Software Architecture (ICSA\u201921)","author":"Sodhi Balwinder","year":"2021","unstructured":"Balwinder Sodhi and Ritu Kapur. 2021. Quantum computing platforms: Assessing the impact on quality attributes and SDLC activities. In IEEE 18th International Conference on Software Architecture (ICSA\u201921). IEEE, 80\u201391."},{"key":"e_1_3_3_77_2","doi-asserted-by":"crossref","first-page":"49","DOI":"10.22331\/q-2018-01-31-49","article-title":"ProjectQ: An open source software framework for quantum computing","volume":"2","author":"Steiger Damian S.","year":"2018","unstructured":"Damian S. Steiger, Thomas H\u00e4ner, and Matthias Troyer. 2018. ProjectQ: An open source software framework for quantum computing. Quantum 2 (2018), 49.","journal-title":"Quantum"},{"key":"e_1_3_3_78_2","volume-title":"EMF: Eclipse Modeling Framework","author":"Steinberg Dave","year":"2008","unstructured":"Dave Steinberg, Frank Budinsky, Ed Merks, and Marcelo Paternostro. 2008. EMF: Eclipse Modeling Framework. Addison Wesley."},{"key":"e_1_3_3_79_2","first-page":"54","volume-title":"International Workshop on Software Engineering & Technology co-located with IEEE International Conference on Quantum Computing and Engineering (Q-SET@QCE\u201921)","author":"Verduro Javier","year":"2021","unstructured":"Javier Verduro, Mois\u00e9s Rodr\u00edguez, and Mario Piattini. 2021. Software quality issues in quantum information systems. In International Workshop on Software Engineering & Technology co-located with IEEE International Conference on Quantum Computing and Engineering (Q-SET@QCE\u201921). 54\u201359."},{"issue":"1","key":"e_1_3_3_80_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3467896","article-title":"MICOSE4aPS: Industrially applicable maturity metric to improve systematic reuse of control software","volume":"31","author":"Vogel-Heuser Birgit","year":"2021","unstructured":"Birgit Vogel-Heuser, Eva-Maria Neumann, and Juliane Fischer. 2021. MICOSE4aPS: Industrially applicable maturity metric to improve systematic reuse of control software. ACM Trans. Softw. Eng. Methodol. 31, 1 (2021), 1\u201324.","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"e_1_3_3_81_2","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/j.conengprac.2018.08.007","article-title":"Maintainability and evolvability of control software in machine and plant manufacturing\u2014An industrial survey","volume":"80","author":"Vogel-Heuser Birgit","year":"2018","unstructured":"Birgit Vogel-Heuser and Felix Ocker. 2018. Maintainability and evolvability of control software in machine and plant manufacturing\u2014An industrial survey. Contr. Eng. Pract. 80 (2018), 157\u2013173.","journal-title":"Contr. Eng. Pract."},{"key":"e_1_3_3_82_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"Wohlin Claes","year":"2012","unstructured":"Claes Wohlin, Per Runeson, Martin H\u00f6st, Magnus C. Ohlsson, Bj\u00f6rn Regnell, and Anders Wessl\u00e9n. 2012. Experimentation in Software Engineering. Springer."},{"key":"e_1_3_3_83_2","first-page":"1","volume-title":"Introduction on Hybrid Quantum-Classical ProgrAmming Using C++ Quantum Extension","author":"Wu Xin-Chuan","year":"2023","unstructured":"Xin-Chuan Wu, Shavindra P. Premaratne, and Kevin Rasch. 2023. A comprehensive introduction to the Intel Quantum SDK. In Introduction on Hybrid Quantum-Classical ProgrAmming Using C++ Quantum Extension. 1\u20132."},{"key":"e_1_3_3_84_2","article-title":"Differentiable quantum architecture search","volume":"66","author":"Zhang Shixin","year":"2021","unstructured":"Shixin Zhang, Chang-Yu Hsieh, Shengyu Zhang, and Hong Yao. 2021. Differentiable quantum architecture search. Bull. Amer. Phys. Societ. 66 (2021).","journal-title":"Bull. Amer. Phys. Societ."},{"key":"e_1_3_3_85_2","unstructured":"Jianjun Zhao. 2020. Quantum software engineering: Landscapes and horizons. arXiv preprint arXiv:2007.07047 (2020)."},{"key":"e_1_3_3_86_2","first-page":"22","volume-title":"IEEE\/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE\u201921)","author":"Zhao Jianjun","year":"2021","unstructured":"Jianjun Zhao. 2021. Some size and structure metrics for quantum software. In IEEE\/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE\u201921). IEEE, 22\u201327."},{"key":"e_1_3_3_87_2","article-title":"An adaptive quantum approximate optimization algorithm for solving combinatorial problems on a quantum computer","author":"Zhu Linghua","year":"2020","unstructured":"Linghua Zhu, Ho Lun Tang, George S. Barron, F. A. Calderon-Vargas, Nicholas J. Mayhall, Edwin Barnes, and Sophia E. Economou. 2020. An adaptive quantum approximate optimization algorithm for solving combinatorial problems on a quantum computer. arXiv preprint arXiv:2005.10258 (2020).","journal-title":"arXiv preprint arXiv:2005.10258"}],"container-title":["ACM Transactions on Quantum Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3688856","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3688856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:10Z","timestamp":1750291450000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3688856"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,10]]},"references-count":86,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,12,31]]}},"alternative-id":["10.1145\/3688856"],"URL":"https:\/\/doi.org\/10.1145\/3688856","relation":{},"ISSN":["2643-6809","2643-6817"],"issn-type":[{"value":"2643-6809","type":"print"},{"value":"2643-6817","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,10]]},"assertion":[{"value":"2022-12-15","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-07-17","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-10-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}