Metodi e strumenti di sviluppo del software

La costruzione di software su grande scala, come richiesto da applicazioni sofisticate quali il controllo di processi industriali, la gestione delle informazioni in una grande azienda, il controllo di veicoli spaziali, è un processo molto complesso caratterizzato da enormi moli di dati, fortemente correlati tra di loro, molteplicità di risorse automatiche e non automatiche, etereogeneità di agenti cooperanti a diversi livelli di interazione. Gli studi di tale area sono volti a individuare schemi concettuali con cui analizzare e descrivere il processo di produzione del software, con lo scopo di giungere ad una sua completa formalizzazione e con i seguenti obiettivi specifici: l'eseguibilità automatica di alcuni moduli, la possibilità di controllare sistematicamente il processo, il suo riadattamento a mutate esigenze, il confronto tra diverse soluzioni, la valutazione e la predizione di sue caratteristiche fondamentali.