Wed 13 May 2026 12:30 - 13:00 at Edificio 3, Aula 403 - 1b Quantum Software & RAG Chair(s): Jose Antonio Cruz-Lemus

Hybrid quantum–classical software requires engineering approaches that connect stakeholder goals, variability decisions, and architecture under NISQ constraints. We present Quantum Variability Management (QVM), a lightweight requirements-driven modeling approach that integrates iStar, UVL, and Quantum-UML, through explicit cross-level traceability. QVM defines five rules that relate goals to features, constraints, component stereotypes, and configuration properties such as the provider and qubits. QVM focuses on the requirement-to-variability-to-architecture chain and on the auditable propagation of design changes. We assess the proposal through a scenario-based walkthrough in a logistics case, showing how changes in strategic intent, backend selection, and hardware quality assumptions can be propagated consistently across the three levels. The proposal provides a foundation for controlled reconfiguration in HQC systems, while broader user studies, multi-domain replications, and full tool integration remain future work.

Wed 13 May

Displayed time zone: Eastern Time (US & Canada) change

12:30 - 14:00
1b Quantum Software & RAGCIbSE 2026 (Main Track) at Edificio 3, Aula 403
Chair(s): Jose Antonio Cruz-Lemus University of Castilla-La Mancha
12:30
30m
Full-paper
A Cross-Level Traceable Modeling for Hybrid Quantum–Classical Software
CIbSE 2026 (Main Track)
Samuel Sepúlveda Universidad de La Frontera - Chile, Claudio Navarro Universidad de La Frontera, Ania Cravero department of computer science and informatics, University of La Frontera, Enrique Moguel University of Extremadura
13:00
15m
Paper
Generation of Quantum Software From Truth Tables (JOURNAL FIRST)
CIbSE 2026 (Main Track)
Macario Polo University of Castilla-La Mancha, Ignacio García University of Castilla-La Mancha, Manuel Serrano University of Castilla-La Mancha, Mario Piattini University of Castilla-La Mancha, Spain
13:15
15m
Research paper
ATHENA – Tecnologías Avanzadas para Entornos y Aplicaciones Híbridas Clásico–Cuánticas (R&D PROJECT)
CIbSE 2026 (Main Track)
Ignacio García University of Castilla-La Mancha, Moisés Rodrígez Monje UCLM | AQCLab, Ana Díaz Muñoz AQCLab Software Quality, Jose García-Alonso Universidad de Extremadura, Enrique Moguel University of Extremadura, Juan Manuel Murillo University of Extremadura and COMPUTAEX Foundation, José Antonio Parejo Maestre Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville, Pablo García-Bringas University of DEUSTO, Iker Pastor University of DEUSTO
13:30
30m
Full-paper
Engineering Inferential Composition Control for Federated RAG in Data Spaces
CIbSE 2026 (Main Track)
Carlos Mario Braga Ortuño Universidad de Castilla-La Mancha, Manuel Serrano University of Castilla-La Mancha, Eduardo Fernandez-Medina Universidad de Castilla La Mancha