Naredna: Algoritmi, pseudokod i dijagrami Gore: Osnovni pojmovi Prethodna: Horove trojke   Sadržaj

Uloga Horovih trojki u razvoju softvera

Koristeći notaciju Horovih trojki, razvoj softvera može da se razmatra kao proces koji se sastoji iz tri dela:

  1. Prevođenje zahteva korisnika u specifikaciju (φ,ψ).
  2. Pisanje programa P koji zadovoljava konstruisanu specifikaciju.
  3. Dokazivanje da važi {φ} P {ψ}.

U praksi se dokaz ispravnosti programa retko izvodi i to često dovodi do neispravnog softvera i mnogih problema.

Poznate su sledeće Horove reči: ,,Postoje dva puta za dizajniranje softvera: jedan je napraviti ga tako jednostavnim da očigledno nema nedostataka i drugi - napraviti ga tako komplikovanim da nema očiglednih nedostataka."



Naredna: Algoritmi, pseudokod i dijagrami Gore: Osnovni pojmovi Prethodna: Horove trojke   Sadržaj