Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA

Scopo di questa tesi è analizzare e sviluppare la parte preposta al controllo dell’integrità dei dati (Check&SODA), facente parte di un nuovo plugin per piattaforma Eclipse che supporti il progettista durante le attività di progettazione con SODA, tramite una componente grafica Graph&SODA.