SCIENTIFIC PROGRAM

SEDES  (2 PhD students). 

•  Nuno Seixas - An Integrated Maturity Model for modern software development: addressing Security, Artificial Intelligence and Governance in DevOps

• Tauheed Waheed - Quality 5.0: Leveraging user-centric value based Quality 4.0.

Papers session ST1 (3 research papers). 

Session Chair: Paula Ventura, Universidade do Algarve, Portugal

•  DQBR25K: Data Quality Business Rules Identification based on ISO/IEC 25012.  Ramón Galera, Fernando Gualo, Ismael Caballero and Moisés Rodríguez

• Process Improvement using the Scientific Method. Isabel Lopes Margarido     

• Scientific Workflow Management for Software Quality Assessment Replication: An Open Source Architecture. José Pereira dos Reis, Fernando Brito E Abreu, Glauco de Figueiredo Carneiro and Duarte Almeida

Papers session ST2 (1 J1s + 5 research papers). 

Session Chair: Antonia Bertolino, CNR-ISTI / University of Pisa, Italy

• Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems. Rong Gu, Peter Jensen, Cristina Seceleanu, Eduard Enoiu and Kristina Lundqvist (J1S)

• Quality assurance of digital twins: An experience report in the automotive industry.  Alican Tüzün and Georg Hackenberg

• Elevating Software Quality Through Product Discovery Techniques: Key Findings From a Grey Literature Review. Stefan Trieflinger, Jürgen Münch and Lukas Weis. 

• Log Based Verification tool of Serious Game for Autistic Children.  Arini Nur Rohmah and Nelly Condori Fernandez

• Continual Service Improvement: a Systematic Literature Review. Sanna Heikkinen, Marko Jäntti and Markku Tukiainen

• Exploring Data Analysis and Visualisation Techniques for Effective Project Tracking with the ITLingo-Cloud. André Barrocas, Alberto Silva and João Saraiva

Papers session ST3 ( 1 J1s + 3 research papers). 

Session Chair: Fernando Brito e Abreu, ISCTE-IUL, Portugal

• Using capabilities for strict runtime invariant checking.  Isaac Oscar Gariano, Marco Servetto and Alex Potanin (J1S)

• External dependencies in software development.  Aless Hosry and Nicolas Anquetil

• Quantum as a Service Architecture for Security in a Smart City. Vita Santa Barletta, Danilo Caivano, Alfred Lako and Anibrata Pal

• Quantum Services Generation and Deployment Process: A Quality-Oriented Approach. Jaime Alvarado-Valiente, Javier Romero-Álvarez, Ana Díaz, Moises Rodríguez, Ignacio García, Enrique Moguel, Jose García-Alonso and Juan M. Murillo