Metodo di Warnier

(Modificato dal sottoscritto)

Permette lo Sviluppo in forma Discorsiva di un Algoritmo Strutturato
( cioè corrispondente alle caratteristiche del Teorema di Jacopini Bohm )

Praticamente l'algoritmo è sviluppato rispettendo le Regole Strutturalii in un Linguaggio di Progetto ( in Italiano )

Qualsiasi algoritmo strutturato si può sviluppare con questo metodo

che è basato anche sul metodo di risoluzione degli algoritmi  :

TOP DOWN : Dal Generale al Particolare

Infatti si possono identificare le 4 fasi principali di sviluppo

 Ognuna potrà essere sviluppata

• in tempi diversi
• ed in qualsiasi ordine

Infine per scrivere un programma in un codice di programmazione basta scegliere il Linguaggio di Programmazione e tradurre le istruzioni ottenute secondo i costrutti sintattici di quel linguaggio in Inglese

I Costrutti praticamente sono scritti in Italiano al posto dell'inglese

I Blocchi sono rappresentati da parentesi quadrate

Le Istruzioni del Blocco Sequenza vengono praticamente allineate con le parentesi quadrate.

Blocchi Fondamentali della Programmazione Strutturata scritti in Warnier

Algoritmo

Soluzione di un Problema

Il nome deriva da quello di un Matematico Arabo

ABU JÀ FAR MOHAMMED IBN MÛSÂ AL KHOWÂRIZMÎ

Ha le seguenti caratteristiche :

1. Sequenza
   • Istruzioni scritte una dopo l’altra
   • Eseguibili in un certo ordine una alla volta
   • (Non necessariamente nello stesso ordine in cui sono state scritte)
2. Istruzioni Elementari
   • Le istruzioni non possono essere scomponibili ulteriormente rispetto alla capacità dell'esecutore
3. Finitezza
   • N° Finito di Istruzioni
4. Definitezza
   • Esiste un inizio
   • Esiste almeno una Fine
     (Possono essercene anche più di una)
   • Si segue una sola istruzione alla volta
     (Solo alla fine di una istruzione può essere eseguita la successiva )
   • Deve essere un Comando ben definito
5. Deterministico
   • Ogni istruzione deve produrre sempre lo stesso effetto se eseguita a partire dalle stesse condizioni iniziali.
6. Terminazione
   • Esiste una Fine
   • Deve terminare
     (Deve essere Raggiungibile la Fine)
   • Deve terminare in un Tempo Finito
     (No Loop Infinito)
7. Risultato
   • Si deve produrre  un Risultato se si seguono le istruzioni
   • Ci possono essere anche risultati intermedi ma quello che conta è quello finale
8. Risultato Osservabile
   • Ogni istruzione deve produrre, una volta eseguita, un risultato effettivamente riscontrabile.
9. Correttezza
   • Il Risultato deve essere corretto
     (deve essere quello voluto)
   • Alle prove deve sempre dare il risultato giusto
     (1+1 deve fare sempre 2)
10. Non Ambiguità
    • Le istruzioni devono essere Leggibili
      (scritte in un linguaggio comprensibile dall’esecutore)
    • Devono essere Eseguibili
      (non devono essere delle richieste assurde ma fattibili)
    • Non devono essere Ambigue
    • (devono riportare con esattezza tutti i passaggi)
    • Es. Girare una manopola in senso antiorario per 15 °
      Es. Voltare per la strada a sinistra ad un incrocio)
11. Riproducibile
    • Il procedimento può essere ripetuto tutte le volte che si vuole ottenendo sempre gli stessi risultati
12. Esaustivo
    • Per tutti i casi che si possono presentare deve essere prevista una soluzione da seguire
13. Indipendenza dai Dati di ingresso
    • Non deve dipendere dal Valore dei Dati 
      (Es. 1+1=2           200+125=325        ecc.)
    • Non deve dipendere dal Numero di dati
      ( Es. 1+1=2;    1+1+1=3;  ……………….  1+1+1+1+1+…+1=Σi per quanti siano gli uno scritti)
    • Non deve dipendere dalla Memoria necessaria per memorizzare i dati