| Vol-3008 urn:nbn:de:0074-3008-4 Copyright © 2021 for the individual papers by the papers' authors. Copyright © 2021 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# Q-SET 2021
International Workshop on Software Engineering & Technology 2021

### Short Papers Proceedings of the 2nd International Workshop on Software Engineering & Technology (Q-SET 2021)
co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2021)

### Virtual Conference, October 19, 2021.

Edited by

### Ricardo Perez-Castillo *
Manuel A. Serrano **
Mario Piattini **

* Facultad de Ciencias Sociales de Talavera de la Reina, University of Castilla-La Mancha, Av. Real Fábrica de Sedas, s/n, 45600, Talavera de la Reina, Spain
** aQuantum by Alarcos Research Group, University of Castilla-La Mancha, Paseo de la Universidad 4, 13071, Ciudad Real, Spain

## Table of Contents

- Preface
  Summary: There were 15 papers submitted for peer-review to this workshop. Out of these, 10 papers were accepted for this volume, 4 as regular papers and 6 as short papers.

- An Exploratory Study on the Challenges of Engineering Quantum Applications in the Cloud 1-12
  Daniel Vietz, Johanna Barzen, Frank Leymann, Benjamin Weder , Vladimir Yussupov
- QuantumPath´s Annealer Compositor 13-19
  Jose Luis Hevia, Guido Peterssen, Ezequiel Murina, Aurelio Martínez, Mario Piattini
- Cybersecurity for Quantum Computing 20-28
  Natalie Kilber, Daniel Kaestlen, Stefan Wagner
- Engineering Reliable Hybrid Quantum Software: An Architectural-driven Approach 29-37
  Max Scheerer, Jonas Klamroth, Oliver Denninger
- Trials and Tribulations of Developing Hybrid Quantum-Classical Microservices Systems 38-53
  Javier Rojo, Enrique Moguel, David Valencia, Javier Berrocal, Jose García-Alonso, Juan Manuel Murillo
- Software Quality Issues in Quantum Information Systems 54-59
  Javier Verdugo, Moisés Rodríguez, Mario Piattini
- Formal Quantum Software Engineering. Introducing the Formal Methods of Software Engineering to Quantum Computing 60-65
  Carmelo R. Cartiere
- Towards a Quantum Algorithm for Evaluating WCETs 66-80
  Gabriella Bettonte, Stéphane Louise, Renaud Sirdey
- Testing Quantum Programs using Q# and Microsoft Quantum Development Kit 81-88
  Mariia Mykhailova, Mathias Soeken
- Non-Functional Requirements for Quantum Programs 89-73
  Lorenzo Saraiva, Edward Hermann Haeusler, Vaston Costa, Marcos Kalinowski

2021-10-29: submitted by Ricardo Pérez-Castillo, metadata incl. bibliographic data published under Creative Commons CC0
2021-11-14: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|