Aggiunta prima verisone delle specifiche:
- Le specifiche sono scritte in LaTeX
- Le specifiche sono complitate in PDF da pdflatex
- Il file model.mwb è generato da MySQL Workbench
- Il file database.png è una dozza del modello E-R del database