Modelling Quantum Software: An Annotated Bibliography

被引：1

作者：

Bibbo, Luis Mariano ^{[1
]}

Fernandez, Alejandro ^{[2
]}

Suarez, Jose Manuel ^{[1
]}

Pastor, Oscar ^{[3
]}

机构：

[1] Univ Nacl La Plata, Fac Informat, LIFIA, La Plata, Argentina

[2] Univ Nacl La Plata, Fac Informat, LIFIA, CICBA Prov Buenos Aires, La Plata, Argentina

[3] Univ Politecn Valencia, PROS Res Ctr, Valencia, Spain

来源：

MEMORIA INVESTIGACIONES EN INGENIERIA | 2024年 / 27期

关键词：

Quantum Software Engineering; Quantum Computing; Quantum Modelling; Quantum Design;

D O I：

10.36561/ING.27.19

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

This annotated bibliography delves into the field of quantum computing, focusing specifically on the resources used throughout the software life cycle. It examines several published works that analyze quantum software modelling in the context of the various phases of the life cycle, from analysis/requirements to testing and maintenance. Each annotation provides an analysis of software engineering resources applicable to quantum software development and their applicability to different phases of the software development process. By synthesizing these diverse perspectives, this bibliography illuminates the evolving landscape of quantum software development and underscores the critical role of modelling in the context of software engineering. The result provides a valuable starting point for researchers and practitioners who wish to deepen the interplay between quantum computing and software engineering, fostering innovation and advances in this evolving field.

引用

页码：285 / 301

页数：17

共 34 条

[1]

Ali Shaukat, 2020, APEQS 2020: Proceedings of the 1st SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, P14, DOI 10.1145/3412451.3428499

[2] A Graph-Based Approach for Modelling Quantum Circuits [J].

Alonso, Diego ;

Sanchez, Pedro ;

Alvarez, Barbara .

APPLIED SCIENCES-BASEL, 2023, 13 (21)

[3] On Structured Design Space Exploration for Mapping of Quantum Algorithms [J].

Bandic, Medina ;

Zarein, Hossein ;

Alarcon, Eduard ;

Almudever, Carmen G. .

2020 XXXV CONFERENCE ON DESIGN OF CIRCUITS AND INTEGRATED SYSTEMS (DCIS), 2020,

[4]

Barbosa LS, 2020, P IEEE ACM 42 INT C, P427

[5]

Bauer W. F., 1972, P DEC 5 7 1972 FAL 2, P993

[6]

BOEHM BW, 1976, IEEE T COMPUT, V25, P1226, DOI 10.1109/TC.1976.1674590

[7]

Everitt MJ, 2016, INT C TRANS OPT NETW

[8] Quantum Software Models: The Density Matrix for Classical and Quantum Software Systems Design [J].

Exman, Iaakov ;

Shmilovich, Alon Tsalik .

2021 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2021), 2021, :1-6

[9]

Gemeinhardt F., A ModelDriven Framework for Composition-Based Quantum Circuit Design

[10] Model-Driven Optimization for Quantum Program Synthesis with MOMoT [J].

Gemeinhardt, Felix ;

Eisenberg, Martin ;

Klikovits, Stefan ;

Wimmer, Manuel .

2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, :614-621

← 1 2 3 4 →