Tesi etd-06132022-140459 |
Link copiato negli appunti
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
correlatore Dott.ssa Nasti, Lucia
correlatore Dott.ssa Bondioli, Mariasole
Parole chiave
- Analisi formale
- Game App
- Gamification
- Model Checking
- Museo
- Museum
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.
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 |
|