logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-06132022-140459


Tipo di tesi
Tesi di laurea magistrale
Autore
PETROSSI, ILARIA
URN
etd-06132022-140459
Titolo
Definizione, analisi formale e implementazione del flusso di gioco della game app "Mistero al Museo" per il Museo di Storia Naturale di Calci.
Dipartimento
FILOLOGIA, LETTERATURA E LINGUISTICA
Corso di studi
INFORMATICA UMANISTICA
Relatori
relatore Prof. Milazzo, Paolo
correlatore Dott.ssa Nasti, Lucia
correlatore Dott.ssa Bondioli, Mariasole
Parole chiave
  • Museum
  • Game App
  • Museo
  • Gamification
  • Analisi formale
  • Model Checking
Data inizio appello
11/07/2022
Consultabilità
Completa
Riassunto
L'elaborato si è occupato di implementare una sezione multi-percorso all'interno di una Game App per il Museo di Storia Naturale di Calci.
Per lo sviluppo della sezione è stato fatto un lavoro preliminare che ha incluso: la progettazione del flusso di gioco, la modellazione del flusso come un sistema real-time con il tool di model checking UPPAAL, la validazione del modello.
Successivamente l'implementazione ha visto lo sviluppo della sezione utilizzando come tecnologie: Wordpress, AJAX, PHP.
File