You are here:
tecnoteca.it
Tesi on line
Certificazione del software: problemi e metodi
Qualita' Software
Breve Storia
II era
II era: il governo dei processi (1968-1982)
-
Approccio ingegneristico alla produzione del SW
-
Orientamento dal prodotto al processo: la qualità del prodotto è fortemente influenzata da quella del processo
-
Inizio approccio scientifico
-
Sviluppi di strumenti per la produzione di SW: editor, verificatori di codice,...
-
Introduzione dei metodi formali: insieme di tecniche matematiche per l'analisi, la modellazione e la dimostrazione di correzione del SW (difficilmente applicabili a progetti di grandi dimensioni)
Segnala questa pagina a qualcuno
Stampa questa pagina