ETD

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

Tesi etd-06132022-140459

Tipo di tesi

Tesi di laurea magistrale

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

Parole chiave

Analisi formale
Game App
Gamification
Model Checking
Museo
Museum

Data inizio appello

11/07/2022

Consultabilità

Completa

Riassunto (Inglese)

Riassunto (Italiano)

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

Nome file	Dimensione
TesiPetrossi.pdf	15.01 Mb
Contatta l’autore