L’applicazione dei metodi formali, ed in particolare la verifica automatica di proprietà, può risultare uno strumento di supporto al monitoraggio, così da gestire le esigenze, che emergono nell’e-govermnet, come in molti altri domini applicativi, dalla pianificazione, verso un controllo e miglioramento continuo. Per chi è interessato a questo tema, una recente pubblicazione, frutto del lavoro [...]
Archive for July, 2011
Metodi Formali nell’e-government (Formal Methods in e-Government)
Posted in e-Government, Pubblication on July 16, 2011 | 2 Comments »
