1. Rappresentazione
1.1. Flow-Chart
1.1.1. I 5 Blocchi elementari
1.1.1.1. 1. Blocco inizio
1.1.1.2. 2. Blocco Fine
1.1.1.3. 3. Blocco Input/Output
1.1.1.4. 4. Blocco Elaborazione
1.1.1.5. 5. Blocco Controllo o Test
1.1.2. Condizioni di validità
1.1.2.1. Numero di blocchi finito
1.1.2.2. 1 blocco inizio e un blocco fine
1.1.2.3. Blocco inizio con 1 freccia uscente
1.1.2.4. Blocco fine con 1 freccia entrante
1.1.2.5. Blocco test 3 frecce 1 entrante e 2 uscenti
1.1.2.6. Blocchi I/O e Elaborazione con 1 freccia entrante e 1 uscente
1.1.2.7. Ogni freccia deve entrare in un blocco o in una freccia
1.1.2.8. Dal blocco Inizio si deve poter reggiungere un qualsiasi blocco
1.1.2.9. Da qualsiasi blocco si deve poter raggiungere il blocco Fine
1.2. Pseudocodifica
2. Documentazione
2.1. Problema
2.2. Tabella delle specifiche funzionali
2.2.1. Dati iniziali
2.2.2. Dati finali
2.3. Analisi
2.4. Tabelle
2.4.1. Costanti
2.4.1.1. Nome
2.4.1.2. Valore
2.4.1.3. Descrizione
2.4.1.4. Tipo
2.4.2. Variabili
2.4.2.1. Nome
2.4.2.2. Tipo
2.4.2.3. Utilizzo
2.4.2.3.1. Input
2.4.2.3.2. Output
2.4.2.3.3. Lavoro
2.4.2.4. Descrizione
2.5. Algoritmo Risolutivo
2.6. Simulazione dell'algoritmo
3. Proprietà
3.1. Atomicità
3.2. Non Ambiguità
3.3. Finitezza
3.4. Terminazione
3.5. Effettività
4. Definizione
5. Teorema di Bohm-Jacopini
6. Componenti
6.1. Dati
6.1.1. Variabili
6.1.2. Costanti
6.1.3. Numerico
6.1.3.1. Intero
6.1.3.2. Reale
6.1.4. Alfanumerico
6.1.4.1. Stringa
6.1.4.2. Carattere
6.1.5. Booleano
6.2. Istruzioni
6.2.1. Dichiarazione
6.2.2. Assegnamento
6.2.3. Input
6.2.4. Output
6.2.5. Selezione
6.2.6. Istruzione