Analisi e specifica

Definizione di cosa fa il programma: individuazione dei dati di ingresso e di uscita, della precondizione e della postcondizione

• precondizione: condizione definita sui dati di ingresso che deve essere soddisfatta affinchè sia possibile l’esecuzione
• postcondizione: condizione definita su dati di uscita e dati di ingresso e che deve essere soddisfatta al termine dell’esecuzione del programma (definisce i dati di output in funzione di quelli di input)

Dizionario dei dati

Buona norma utilizzare un dizionario dei dati da arricchire durante le varie fasi del ciclo di vita

Una tabella il cui schema è: identificatore, tipo, descrizione

La descrizione serve a specificare meglio l’identificatore e a descrivere il contesto in cui il dato viene usato

Progettazione

Definizione di come il programma effettua la trasformazione specificata

Progettazione dell’algoritmo per raffinamenti successivi (stepwise refinement), decomposizione funzionale

Codifica e verifica

Codifica dell’algoritmo nel linguaggio scelto; verifica (testing) del programma: scelta dei casi prova, esecuzione del programma, verifica dei risultati rispetto ai risultati attesi; utilizzo del software di base e di un ambiente di sviluppo