Crospen API: un formalismo per la descrizione di interfacce con metodo CROSS

Lo scopo della tesi è di fornire un processo di produzione user-centered e un formalismo che lo descriva ponendosi come alternativa a basso costo a processi che non prevedano attenzioni per l'utente e l'usabilità del sistema. La tesi descrive per primo lo stato dell'arte in quanto a metodi formali e semi-formali nell'interazione uomo macchina. Successivamente si introduce il metodo CROSS che modifica il processo goal-oriented incentrando l'analisi dei requisiti sulle categorie di utenti dette ruoli, i concetti che manipolano e con quali operazioni. Segue la definizione di Crospen Api, un'estensione dello standard OpenAPI che descriva i prodotti di CROSS, con particolar enfasi del diagramma del sistema, creato seguendo il metodo. Si mette infine alla prova il lavoro, confrontando un sistema reale con una specifica che voglia ripensarne l'interfaccia evitando alcuni degli errori di usabilità.