Article count: 10
Problem Analysis and Requirements Engineering, Applicability and aplications, Non-functional Requirements for Quantum Systems, Hybrid System Requirements, High-Level Design and Specification, Quantum-Classical Co-Design, Quantum Software Modeling Languages, Formal Specification for Quantum Software, Implementation, Quantum Programming Languages, Hybrid Microservices and APIs, Benchmarking of Quantum Algorithms, Quantum Algorithm Design, Variational and Hybrid Algorithms, Adiabatic and Annealing-based Algorithms, Quantum-Inspired Classical Algorithms, Quantum State Preparation, Quantum Walk-based Algorithms, Quantum Data Encoding and Embeddings, Transpilation and Circuit Optimization, Testing, Quantum Software Testing Strategies, Test Oracle and Correctness Criteria, Simulation and Emulation-based Testing, Maintenance, Quantum Software Reengineering, Hardware-Aware Portability, Reverse Engineering and Code Analysis, Process and Methodologies, Quantum-Aware Software Development Processes, Quantum Software Methodologies, Tooling and Infrastructure, Quantum Execution Backends, CI/CD for Quantum Software, Hybrid Quantum-HPC Infrastructure, Quantum Simulation Frameworks and Strategies, Quantum Development Tools, Quality Assurance, Fault Models for Quantum Software, Metrics and Benchmarks, Quantum Error Correction and Error Mitigation, Project Management, Collaboration in Hybrid Teams, Documentation and Versioning, Education and Training, Pedagogical Tools for QSE, Curriculum Design
Tooling and Infrastructure (1), Implementation (1), Education and Training (1), Project Management (0), Quality Assurance (0), Process and Methodologies (0), High-Level Design and Specification (0), Testing (0), Problem Analysis and Requirements Engineering (0) and Maintenance (0)
Tools for Quantum Programming: A Review. Marrero, Luciano and Olsowy, Verena and Sosa, Juan Fernández and Tesone, Fernando and Corbalán, Leonardo and Thomas, Pablo and Pesado, Patricia. (2025)
Countries (from iberoamerica): Argentina
Groups:
Topics: Quantum Programming Languages, Quantum Execution Backends and Pedagogical Tools for QSE
Application domains:
High-Level Design and Specification (1), Implementation (1), Quality Assurance (0), Project Management (0), Maintenance (0), Tooling and Infrastructure (0), Testing (0), Education and Training (0), Process and Methodologies (0) and Problem Analysis and Requirements Engineering (0)
A linear linear lambda-calculus. Díaz-Caro A.; Dowek G.. (2024)
Countries (from iberoamerica): Argentina
Groups:
Topics: Formal Specification for Quantum Software and Quantum Programming Languages
Application domains:
Implementation (2), High-Level Design and Specification (1), Quality Assurance (0), Project Management (0), Maintenance (0), Tooling and Infrastructure (0), Testing (0), Education and Training (0), Process and Methodologies (0) and Problem Analysis and Requirements Engineering (0)
Linear Lambda-Calculus is Linear. Díaz-Caro, Alejandro and Dowek, Gilles. (2022)
Countries (from iberoamerica): Argentina
Groups:
Topics: Formal Specification for Quantum Software and Quantum Programming Languages
Application domains:
Ket Quantum Programming. Da Rosa E.C.R.; De Santiago R.. (2022)
Countries (from iberoamerica): Brasil
Groups:
Topics: Quantum Programming Languages
Application domains:
Implementation (2), Quality Assurance (0), Tooling and Infrastructure (0), Maintenance (0), Project Management (0), Process and Methodologies (0), High-Level Design and Specification (0), Testing (0), Education and Training (0) and Problem Analysis and Requirements Engineering (0)
Measurements in quantum programming language QML. Plata-Cesar N.; Raymundo Marcial-Romero J.; Antonio Hernández-Servín J.. (2020)
Countries (from iberoamerica): México
Groups:
Topics: Quantum Programming Languages
Application domains:
Reversibility for Quantum Programming Language QML. Plata-Cesar N.; Marcial-Romero J.R.; Hernandez-Servin J.A.. (2020)
Countries (from iberoamerica): México
Groups:
Topics: Quantum Programming Languages
Application domains:
Implementation (1), Quality Assurance (0), Tooling and Infrastructure (0), Maintenance (0), Project Management (0), Process and Methodologies (0), High-Level Design and Specification (0), Testing (0), Education and Training (0) and Problem Analysis and Requirements Engineering (0)
A monadic semantics for quantum computing in an object oriented language. Feitosa S.D.S.; Vizzotto J.K.; Piveta E.K.; Du Bois A.R.. (2019)
Countries (from iberoamerica): Brasil
Groups:
Topics: Quantum Programming Languages
Application domains:
Implementation (2), High-Level Design and Specification (1), Quality Assurance (0), Project Management (0), Maintenance (0), Tooling and Infrastructure (0), Testing (0), Education and Training (0), Process and Methodologies (0) and Problem Analysis and Requirements Engineering (0)
Confluence in Probabilistic Rewriting. Díaz-Caro, Alejandro and Martínez, Guido. (2018)
Countries (from iberoamerica): Argentina
Groups:
Topics: Formal Specification for Quantum Software and Quantum Programming Languages
Application domains:
A history and reversibility for quantum programming language QML. César N.P.; Raymundo Marcial Romero J.; Antonio Hernández Servín J.. (2018)
Countries (from iberoamerica): México
Groups:
Topics: Quantum Programming Languages
Application domains:
Implementation (1), Quality Assurance (0), Tooling and Infrastructure (0), Maintenance (0), Project Management (0), Process and Methodologies (0), High-Level Design and Specification (0), Testing (0), Education and Training (0) and Problem Analysis and Requirements Engineering (0)
FJQuantum – A Quantum Object Oriented Language. Feitosa S.S.; Vizzotto J.K.; Piveta E.K.; Du Bois A.R.. (2016)
Countries (from iberoamerica): Brasil
Groups:
Topics: Quantum Programming Languages
Application domains: