Ingegneria del software engineering e Mobile computing

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:

  1. Green Software
  2. Ingegneria del software mobile
  3. Analisi e convalida di sistemi e modelli, con particolare attenzione alle proprietà non funzionali: affidabilità della sicurezza, consumo energetico, equità/bias
  4. Verifica formale di software e sistemi
  5. Modellazione, misurazione e standardizzazione della qualità del software e dei dati
  6. Ingegneria del software per l'intelligenza artificiale
  7. Progettazione di software orientata al valore (ad esempio, metodi di progettazione per responsabilità, trasparenza, contestabilità, ricorso perseguibile)
  8. Sistemi mobili
  9. Progettazione User experience and developer experience design

Settori ERC

  • 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

Parole chiave

  • Software engineering
  • Formal methods
  • Human-computer interaction and mobile applications