Una iniziativa per un servizio di certificazione del software: considerazioni e proposte

Lo scopo di questo lavoro è quello di far conoscere, ad un'udienza rappresentativa dei diversi operatori del settore informatico, l'iniziativa attualmente in corso per l'istituzione, presso l'IEI del CNR di Pisa, di un servizio qualificato per la certificazione del software, argomento reso estremamente attuale dal divario fra una domanda diffusa e stringente, e un'offerta di mezzi e tecniche inadeguata. La prima parte del lavoro passa in rassegna le considerazioni che hanno preceduto la progettazione del servizio; successivamente sono descritte la metodologia e la struttura di base che abbiamo individuato, e le attività che ruotano attualmente intorno a tale iniziativa.