La tesi riguarda la progettazione di un sistema web per la simulazione di programmi aggregati. Nel repository NiccoMlt/Protelis-Web è possibile trovare il codice del sistema realizzato per l'esecuzione di codice Protelis tramite un frontend web realizzato in React su un backend basato su Alchemist e Vert.x.
In questo repository è contenuto unicamente il codice LaTeX del documento della tesi.
Il codice Kotlin e TypeScript del prototipo implementato per questa tesi è disponibile nei seguenti repository:
- NiccoMlt/Protelis-Web contiene il codice del server di backend realizzato con Vert.x in Kotlin e basato su Alchemist;
- NiccoMlt/protelis-web-frontend contiene il codice del frontend React che funge da client; è realizzato completamente in TypeScript.
Requisiti e Norme redazionali della tesi
- È vietato riprodurre il logo dell'Ateneo di Bologna su qualunque parte dell'elaborato;
- il file non dovrà superare i 30Mb;
- pagine di 32-35 righe, ciascuna di 65-70 caratteri di tipo prestabilito (Times New Roman, Arial, Courier o Helvetica);
- lunghezza dell'elaborato compresa fra le 50.000 e le 100.000 battute (spazi inclusi);
- corpo del testo di 12 o 13 punti (le note vanno in corpo 10);
- margini destro-sinistro e superiore-inferiore di 2,5 cm;
- interlinea 1,5 cm;
- frontespizio conforme al fac-simile;
- figure e tavole in formato UNI (A4 e A3);
- il file deve essere nominato nel modo:
cognome_nome_tesi; - formato PDF.
Il documento è pensato per essere compilato con il motore LuaLaTeX tramite arara come build tool e VisualStudio Code come ambiente di lavoro, grazie all'ausilio del plugin LaTeX Workshop.
Risulta comunque compilabile anche manualmente o su Overleaf; importante è utilizzare il motore LuaLaTeX o al limite XeLaTeX (ma non pdflatex!).
Il documenti utilizza la classe scrbook (alternativa della collezione KOMA-script della classe book) e definisce una dimensione del testo di 12pt, con margini identici di 2,5cm e interlinea con scartamento 1,5.
Il font utilizzato è il Libertinus in tutte le varianti.
Il PDF generato è conforme allo standard PDF/A-1b.
La bibliografia è gestita tramite backend biber e pacchetto biblatex;
il database biblio.bib può essere editato a mano o con strumenti come JabRef.
Lo stile scelto per la bibliografia è quello IEEE.
Il progetto è stato generato a partire dal mio template per tesi Unibo, costruito cercando di aderire alle norme redazionali dell'Università di Bologna e alle best practices apprese dalle guide fornite dal GuIT.
Il codice LaTeX personalmente realizzato per la struttura del documento di tesi sono forniti sotto licenza Apache License, Version 2.0 in accordo al file LICENSE incluso in questo repository.
Il contenuto dell'opera testuale da me personalmente scritto è fornito sotto licenza Creative Commons Attribution-ShareAlike 3.0.