L'area si intende coprire l'ampio campo dell'ingegneria del software e le relative tematiche, inclusa l'interazione uomo-macchina (principalmente l'esperienza dell'utente), gli strumenti e le tecniche per lo sviluppo di applicazioni mobili, la verifica formale, i processi di sviluppo del software, il software e la qualità dei dati.
Le specifiche tematiche di ricerca in quest'area sono:
- Green Software
- Ingegneria del software mobile
- Analisi e convalida di sistemi e modelli, con particolare attenzione alle proprietà non funzionali: affidabilità della sicurezza, consumo energetico, equità/bias
- Verifica formale di software e sistemi
- Modellazione, misurazione e standardizzazione della qualità del software e dei dati
- Ingegneria del software per l'intelligenza artificiale
- Progettazione di software orientata al valore (ad esempio, metodi di progettazione per responsabilità, trasparenza, contestabilità, ricorso perseguibile)
- Sistemi mobili
- Progettazione User experience and developer experience design
- PE6_3: Software engineering, operating systems, computer languages
- PE6_4: Theoretical computer science, formal methods, and quantum computing
- PE6_9: Human computer interaction and interface, visualisation and natural language processing
- Software engineering
- Formal methods
- Human-computer interaction and mobile applications